Der Schmetterlingssatz () ist ein Lehrsatz der Elementargeometrie, der eine Eigenschaft von Kreissehnen behandelt und sich als Korollar des Sehnensatzes unter Anwendung der Ähnlichkeitslehre ergibt.
Als Korollar folgt, dass jeder vollständige lokalsymmetrische Raum von der Form für einen symmetrischen Raum und eine diskrete Gruppe von Isometrien ist.
Alle übrigen Fragen der Philosophie und Naturwissenschaften können durch Deduktion von Theoremen aus diesen Grundsätzen und deren Anwendung auf spezifische Probleme (Korollare) beantwortet werden.
Der Satz vom Fußball wird in der neueren mathematischen Literatur häufig als Korollar, das heißt als unmittelbare Folgerung aus vorher bewiesenen Sätzen, angegeben.
