Como se cumple la condición (*), tenemos que formula_40 es un elemento de formula_11 al igual que formula_42 ya que formula_8 es un subanillo.