Setelah suatu teorema terbukti, hasil-hasil lain seringkali muncul hampir seketika. Korolari adalah pernyataan yang langsung mengikuti dari suatu teorema, biasanya dengan sedikit usaha tambahan. Ini bukanlah teorema baru, melainkan konsekuensi alami.

Kitab Elemen Euclid penuh dengan korolari. Setelah membuktikan bahwa jumlah sudut-sudut segitiga adalah 180 derajat, sebuah korolari menyatakan bahwa sebuah segitiga tidak mungkin memiliki dua sudut siku-siku. Korolari ini bermanfaat dan mudah dipahami setelah teorema utama terbukti.

Para matematikawan menggunakan korolari untuk mengatur pengetahuan. Mereka menyoroti konsekuensi penting dan membuatnya mudah dirujuk. Perbedaan antara teorema, proposisi, lemma, dan korolari sebagian terletak pada penekanan. Lemma adalah batu loncatan; korolari adalah hasil akhirnya. Keduanya bergantung pada struktur logis yang dibangun oleh bukti utama.

• Hal ini dengan mudah diperoleh dari sebuah teorema.
• Biasanya hanya membutuhkan sedikit bukti tambahan.
• Umum ditemukan dalam teks-teks Euclid dan modern.
• Menyoroti konsekuensi penting