Tiene propiedad conmutativa: verifica que formula_1 y el elemento neutro de la suma es el 0 (recordemos que es el ordinal del conjunto vacío).