y la función que realiza la rotación pedida es formula_65.