No tiene propiedad conmutativa: verifica que formula_3.