Es fácil ver que todas las congruencias determinan un grupo de transformaciones del plano, llamado el grupo euclídeo} del plano y que denotaremos como formula_157.