(logic) an inference that follows directly from the proof of another proposition
Seed ·
corollary in CommonParlance