Definition
Corollary
A corollary is a statement that follows directly from a previously proved theorem, lemma, proposition, or other result.
Usually, the proof of a corollary is short, because most of the work has already been done in the earlier result.