Al final de la iteración del bucle, la variable b mantiene el resto rk, mientras que la variable a mantiene a su predecesor, rk-1.