La imagen de un ideal principal de formula_2 es un ideal principal de formula_38