Which congruency rule(s) is/are used to prove the construction of a perpendicular bisector?
In the given figure, which congruence rule can be used to prove that △ABC ≅ △CDA?