Aufgrund des Distributivgesetzes für die Differenz ist
-
Wir wollen zeigen, dass dies mit
-
übereinstimmt. Dazu genügt es zu zeigen, dass die beiden Terme gleich sind, wenn man zu ihnen jeweils
-
hinzuaddiert. Dies ergibt einerseits
und andererseits
nach Fakt (2)
und
nach Fakt (1)
also das gleiche.