donde formula_31 es el generador de las rotaciones alrededor del eje formula_6.