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