Llamemos formula_172 a la rotación por un cuarto de vuelta.