Este test, al que asumimos una entrada "n", consiste en ir probando que "a" ≡ 1 (mod "n") para una serie de valores de "a", tales que sean menores que "n".