Por el primer criterio se tiene formula_4 y para la rotación se tiene que