Jakmile je věta dokázána, další výsledky často vyplývají téměř okamžitě. Důsledek je tvrzení, které přímo vyplývá z věty, obvykle s minimálními dodatečnými úsilími. Není to ani tak nová věta, jako spíše přirozený důsledek.

Euklidovy Elementy jsou plné důsledků. Po důkazu, že součet úhlů trojúhelníku je 180 stupňů, další důsledek říká, že trojúhelník nemůže mít dva pravé úhly. Důsledek je užitečný a snadno pochopitelný, jakmile je dokázána hlavní věta.

Matematici používají korelaře k organizaci znalostí. Zdůrazňují důležité důsledky a usnadňují jejich odkazování. Rozdíl mezi větou, tvrzením, lemmatem a korelarem je částečně způsoben důrazem. Lemma je odrazový můstek; korelare je závěr. Oba závisí na logické struktuře vybudované hlavním důkazem.

• Snadno vyplývá z věty
• Obvykle vyžaduje jen málo dalších důkazů
• Běžné v Euklidových a moderních textech
• Zdůrazňuje důležité důsledky