El grupo de rotaciones generado por formula_1 y formula_2 se llamará formula_79.