Supongamos que formula_100 fuera un cuerpo e formula_53 un ideal de formula_102 Entonces,