Vemos que formula_17 tiene inverso en módulo formula_18, lo cual no puede ser cierto pues formula_19 Esta contradicción proviene de suponer que formula_6 no es primo.