Es verdad que, si "p" es primo, entonces 2 ≡ 2 (mod "p") (este es un caso especial del pequeño teorema de Fermat), pero el recíproco (si 2 ≡ 2 (mod "p"), entonces "p" es primo) no lo es, por lo que la hipótesis es falsa.