Trong không gian cho mặt phẳng (α), đường thẳng (a) nằm trên (α) 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(α)=α,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′.