Resulta que el recíproco de este teorema suele ser verdad: si "p" es compuesto, entonces "a" es poco probable que sea congruente con 1 módulo "p" para un valor arbitrario de "a".