Es fácil ver que todas las posibles rotaciones distintas, que llevan al cuadrado sobre su imagen, son formula_180 formula_173 formula_182 y formula_183 y que aplicando consecutivamente dos de esas rotaciones, obtenemos una rotación de ese conjunto.