Was aber wenn noch kein Beweis vorhanden ist? Dann weist der Satz nach zwei Richtungen ins Leere.