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

lemma | porism | theorem