Lo que prueba que formula_17 es cerrado respecto a la suma y a tomar opuestos aditivos.