Once you have proved that the rotation image of a segment is congruent to the preimage, how could you prove the following? Write a plan for each proof.
If $\overline{A^{\prime} B^{\prime}}$ is a rotation of $\overline{A B},$ then $A B=A^{\prime} B^{\prime}$