Necesitaríamos el recíproco y el contrapositivo del teorema de Fermat.