Equal Chords (Proof)