Theorem 4.9: If   R   is a reflection, then   R(R(A)) = A   for all points   A   in the plane.

Proof: Let   F   be the foot of the point   A   in the line about which the plane is reflected. By Theorem 4.6,

so

next theorem (4.10)