Como formula_250 hay un elemento no nulo formula_30 en formula_252 lo que implica que formula_28 no está en formula_105 Sea formula_58 el ideal generado por formula_256 Cada elemento de formula_58 es de la forma formula_258 con formula_259 en formula_53 y formula_70 en formula_25 Claramente, formula_58 contiene propiamente a formula_56 por lo que es igual a formula_59 En particular, esto dice que podemos hallar formula_259 en formula_53 y formula_6 en formula_2 tales que formula_270 Pasando al cociente, tenemos que formula_271 lo que muestra que formula_30 es invertible en formula_252 por lo que formula_77 es un cuerpo.