An immediate consequence of a result already proved. Corollaries usually state more complicated theorems in a language simpler to use and apply.
Corollary
See also
Lemma, Porism, TheoremExplore with Wolfram|Alpha
Cite this as:
Weisstein, Eric W. "Corollary." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/Corollary.html