När en sats väl bevisats, framträder ofta andra resultat nästan omedelbart. En följdsats är ett påstående som följer direkt av en sats, vanligtvis med lite extra arbete. Det är inte en ny sats utan snarare en naturlig konsekvens.

Euklides Element är full av följdsatser. Efter att ha bevisat att vinklarna i en triangel summar till 180 grader, anger en följdsats att en triangel inte kan ha två räta vinklar. Följden är användbar och lätt att se när huvudsatsen väl är fastställd.

Matematiker använder korollarier för att organisera kunskap. De lyfter fram viktiga konsekvenser och gör dem lätta att referera till. Skillnaden mellan sats, proposition, lemma och korollar är delvis en betoning. Ett lemma är en språngbräda; en korollar är en utdelning. Båda är beroende av den logiska struktur som byggs upp av huvudbeviset.

• Följer lätt från en sats
• Kräver vanligtvis lite ytterligare bevis
• Vanligt i Euklides och moderna texter
• Belyser viktiga konsekvenser