corollary
Seed from Open English WordNet (OEWN) 2025
Meanings by context
-
- definition a practical consequence that follows naturally
- definition (logic) an inference that follows directly from the proof of another proposition