Ahora, dado formula_13, tomando formula_14 se concluye que el opuesto formula_15 y en consecuencia por (A1) satisface (A4).