Se verifica que cuando formula_55 es primo formula_61 no puede ser racional (suponiendo que lo es, se halla una contradicción al teorema fundamental.