Trong không gian cho mặt phẳng $(\alpha)$, đường thẳng $(a)$ nằm trên $(\alpha)$ và điểm $I$ nằm trên đường thẳng $(a)$. Xét phép dời hình $F$ có tính chất $F(\alpha)=\alpha,F(a)=a$ và đối với mọi điểm $M$ trong không gian $M=F(M)$ khi và chỉ khi $M$ trùng với $I$.
Chứng minh rằng nếu điểm $M$ khác $I$ thì $F$ biến $M$ thành $M'$ sao cho $I$ là trung điểm của $MM'$.