Proof of the Perpendicular Bisector Theorem for Chords Using Symmetry and Rotational Invariance | Synapse