Sigue del teorema de Cartan--Dieudonné (ver capítulo Acción de Grupos ) que todas las congruencias (en particular, las rotaciones) son producto de a lo más tres reflexiones.