Sean formula_4 formula_36 elementos del anillo tales que formula_298 está en formula_105 Pasando al cociente, tendremos entonces que formula_300 Como formula_77 es un dominio de integridad, se tiene que formula_302 o formula_303 Es decir que, formula_70 está en formula_53 o formula_36 está en formula_105