Lo que prueba que efectivamente formula_157 es un grupo de transformaciones.