Invarianten (II)

Beweis: Falls $e>0$ und $e$ gerade, dann $p' = p, q' = q^2, e' = e/2$, also $p' \cdot q'^2 = p \cdot q^{2\cdot e/2} = p \cdot q^e$.

Falls $e>0$ und $e$ ungerade: Übung.

Der Wert von $A$ vor der Schleife ist $1 \cdot b^e$,

der Wert von $A$ nach der Schleife ist $p \cdot q^0 = p$.