Aus der Annahme
-
folgt mit
(der echt größer Version von)
Fakt (2)
der Widerspruch
-
zur Voraussetzung. Wenn man zu der zu beweisenden Gleichheit
-
beidseitig addiert, so erhält man die wahre Gleichung
-
Wegen der Abziehregel muss dann auch die in Frage stehende Gleichung wahr sein.