si formula_103 tendremos un elemento no nulo formula_28 en formula_105 Por definición de ideal, formula_106 estará entonces en formula_56 o sea que formula_108 será un elemento de formula_105 Pero, por la última proposición, el ideal coincidirá con todo el anillo, o sea el cuerpo formula_100 en este caso.