Entonces, claramente formula_278 lo que prueba que formula_279 son ceros del polinomio formula_30 Sabemos que esos números no son racionales, por lo que formula_281 pero formula_282 lo que indica porque no podemos omitir el anillo donde estamos considerando los ceros en la notación formula_283 cuando se trabaja simultáneamente con varios anillos.