Does a perpendicular bisector prove congruence?