Llamamos a los ejes de Alicia formula_1 y formula_2, y a los ejes rotados de Bob formula_3 y formula_4.