At the end of the loop iteration, the variable b holds the remainder rk, whereas the variable a holds its predecessor, rk−1.
La sfârșitul acestei bucle de iterații, variabila b va păstra restul rk, iar variabila a va reține predecesorul, rk−1.