Notemos que la suma por componentes define una estructura de grupo en formula_1.