Teorema de Cartan--Dieudonné Cada congruencia del plano es el producto de a lo más tres reflexiones.