Ahora bien, los números "a", 2"a", ..., ("p" − 1)"a" deben de ser todos distintos al ser reducidos módulo "p", puesto que si