Cuando la operación es asociativa, se puede probar que