Puede demostrarse que la imagen bajo la aplicación espinorial del subgrupo formula_20 es el grupo de rotaciones, es decir, formula_21.