Når et teorem er bevist, faller andre resultater ofte frem nesten umiddelbart. En korollar er en påstand som følger direkte av et teorem, vanligvis med lite ekstra arbeid. Det er ikke et nytt teorem, men snarere en naturlig konsekvens.

Euklids Elementer er full av korollarer. Etter å ha bevist at vinklene i en trekant summerer seg til 180 grader, slår en korollar fast at en trekant ikke kan ha to rette vinkler. Korollaren er nyttig og lett å se når hovedsetningen er etablert.

Matematikere bruker korollarer for å organisere kunnskap. De fremhever viktige konsekvenser og gjør dem enkle å referere til. Skillet mellom teorem, proposisjon, lemma og korollar er delvis et vektleggingspunkt. Et lemma er et springbrett; en korollar er en uttelling. Begge avhenger av den logiske strukturen som er bygget opp av hovedbeviset.

• Følger lett fra et teorem
• Krever vanligvis lite ytterligere bevis
• Vanlig i euklidske og moderne tekster
• Fremhever viktige konsekvenser