Tanto es así que existen números enteros "p" compuestos y coprimos con "a" tal que "a" es congruente con "uno" modulo "p"; son los llamados pseudoprimos.