Sea formula_2 un anillo conmutativo con identidad y sea formula_53 un ideal de formula_2 tal que formula_77 es un cuerpo.