Dieser Artikel von Wikipedia ist u.U. veraltet. Die neue Version gibt es hier. Ein Korollar bezeichnet in der Mathematik eine Sammlung von Feststellungen oder Folgerungen sich aus einem Satz oder einer Definition Meist handelt es sich um triviale Schlussfolgerungen. Siehe auch Lemma Satz