Es sei
-
und
-

Wir behaupten, dass für jedes
der Ausdruck
-

konstant gleich
ist. Für
-

fehlen die
-, die
- und die
-Ausdrücke, sodass dies richtig ist. Wir betrachten den Übergang von
nach
, was dem
-ten Rechenschritt entspricht. Im Fall
-

ist
,
und somit

Im Fall
-

ist
,
und somit

Für
sind die
- und die
-Ausdrücke vollständig abgebaut
(
)
und es bleiben die vollständigen
- und
-Ausdrücke übrig. Damit ist gezeigt, dass
-

ist und somit ist
gleich der Differenz
.