1. Движение сохраняет расстояния. Если A' = A и B' = B, то расстояние A'B' = AB. 2. Если точка X лежит на прямой AB, то ее положение относительно A и B фиксировано. 3. Так как движение сохраняет расстояния, точка X' (образ X) будет иметь то же положение относительно A и B, что означает X' = X. Доказано.