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 .