En particular, formula_20 será entonces un subanillo de formula_18.