Demostración Dada la definición de la operación se sigue el resultado ya que formula_42 para todo formula_21 debido a que formula_20 para todo formula_21.