El vector formula_3 es perpendicular al plano que contiene formula_1 y formula_6, luego es paralelo a la recta considerada como eje de rotación.