Assume that a is larger than b at the beginning of an iteration; then a equals rk−2, since rk−2 > rk−1.
Se presupune că a este mai mare ca b la începutul unei iterații; atunci a este egal cu rk−2, fiindcă rk−2 > rk−1.