An immediate consequence of a result already proved. Corollaries usually state more complicated Theorems in a language simpler to use and apply.
