Se dice que la operación formula_1 es asociativa si: