En efecto, como su efecto en la base formula_1 es una multiplicación por la izquierda en formula_1 es una permutación de formula_1.