Probaremos que formula_6 es asociativa y conmutativa.