Når en sætning er bevist, falder andre resultater ofte næsten øjeblikkeligt frem. En følgesætning er en udtalelse, der følger direkte af en sætning, normalt med lidt ekstra arbejde. Det er ikke så meget en ny sætning som en naturlig konsekvens.

Euklids Elementer er fuld af følgesætninger. Efter at have bevist, at vinklerne i en trekant summerer sig til 180 grader, fastslår en følgesætning, at en trekant ikke kan have to rette vinkler. Følgesætningen er nyttig og let at se, når hovedsætningen er etableret.

Matematikere bruger korollarer til at organisere viden. De fremhæver vigtige konsekvenser og gør dem nemme at referere til. Sondringen mellem teorem, proposition, lemma og korollar er delvist en vægtning. Et lemma er et springbræt; en korollar er et udbytte. Begge afhænger af den logiske struktur, der er opbygget af hovedbeviset.

• Følger let af en sætning
• Kræver normalt kun lidt yderligere bevis
• Almindelig i euklidske og moderne tekster
• Fremhæver vigtige konsekvenser