formula_21 es un supramorfismo, ya que