a practical consequence that follows naturally; "blind jealousy is a frequent corollary of passionate love"
(logic) an inference that follows directly from the proof of another proposition
a natural consequence, something that follows, a logical extension
an easily drawn inference from a demonstrated truth
a proposition that can be established directly from a theorem which has just been proved
a result which follows naturally, or a specific application of a theorem
a trivial theorem, that is, a theorem that so closely follows another axiom or theorem that it practically does not require a proof
A theorem whose proof follows from another theorem in a few steps.
A proposition logically derived from another that already has been proved.
A theorem proved as an immediate consequence of another theorem (Lesson 16.3).