Llamando formula_295 a la rotación por formula_293 vemos que