Finalmente, para cada formula_70, tenemos que formula_71, lo que prueba que formula_72 Es decir cada elemento tiene un opuesto.