De manera similar, el tercer paso (los elementos de Q son congruentes a los de P) sólo puede obtenerse debido a que "a" y "n" son primos relativos.