Im Fragenkatalog steht folgendes: "Was ist ein Satz (Korrollar, Lemma, Theorem, Proposition)?". Man findet dazu folgendes: - Lemma (oder Hilfssatz) für eine Aussage, die nur im Beweis anderer Sätze im gleichen Werk verwendet wird und unabhängig davon keine Bedeutung hat, - Proposition für eine ebenfalls hauptsächlich lokal bedeutsame Aussage, etwa einen Hilfssatz, der in mehr als einem Beweis verwendet wird, - Satz (oder Theorem) für eine wesentliche Erkenntnis, die im Werk dargestellt wird, und - Korollar (oder Folgesatz) für eine triviale Folgerung, die sich aus einem Satz oder einer Definition ohne großen Aufwand ergibt." Gibt es überhaupt einen Unterschied zwischen Satz und Theorem?