Sea formula_2 un anillo conmutativo con identidad y formula_53 un ideal de formula_59 Entonces, formula_77 es un dominio, ssi, formula_53 es un ideal primo.