Cabe notar que la inversa de ("x", "y") (que se escribe como -("x", "y") ya que la operación es aditiva) es ("x", -"y"), para todo formula_22.