Elevando al cuadrado ambas partes se obtiene que formula_33, lo que es absurdo, pues a un lado queda al menos un factor primo con exponente impar mientras que, al otro lado de la igualdad, tanto formula_34 como formula_35 se expresan en función de producto de primos elevados a exponentes necesariamente pares.