Odată ce o teoremă este demonstrată, alte rezultate apar adesea aproape imediat. Un corolar este o afirmație care rezultă direct dintr-o teoremă, de obicei cu puțin efort suplimentar. Nu este o teoremă nouă, ci mai degrabă o consecință naturală.

Elementele lui Euclid sunt pline de corolare. După ce demonstrează că suma unghiurilor unui triunghi este de 180 de grade, un corolar afirmă că un triunghi nu poate avea două unghiuri drepte. Corolarul este util și ușor de observat odată ce teorema principală este stabilită.

Matematicienii folosesc corolare pentru a organiza cunoștințele. Aceștia evidențiază consecințele importante și le fac ușor de consultat. Distincția dintre teoremă, propoziție, lemă și corolar este parțial una de importanță. O lemă este o rampă de lansare; un corolar este o recompensă. Ambele depind de structura logică construită de demonstrația principală.

• Rezultă ușor dintr-o teoremă
• De obicei, necesită puține dovezi suplimentare
• Comun în Euclid și în textele moderne
• Evidențiază consecințe importante