8.1 Transformaciones rígidas y congruencia