Con esta definición se ve que la imagen de formula_8, formula_12, es un subanillo de formula_13.