Differenz/Doppelsumme/Größenverhältnis/Aufgabe/Lösung
Erscheinungsbild
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