Sea formula_58 un ideal que contiene a un formula_28 que no está en formula_53 y al ideal formula_105 Observemos que formula_58 contiene propiamente a formula_105 Sigue de las consideraciones anteriores que hay un elemento formula_237 tal que formula_238 Como formula_28 es un elemento de formula_68 tenemos que formula_241 es un elemento de formula_68 luego formula_243 será también un elemento de formula_69 Lo que prueba que formula_245 y que, en consecuencia, formula_53 debe ser un ideal maximal.