Sea formula_80 un elemento de formula_79 que empieza con una rotación sobre el eje formula_70, de la forma formula_83.