Proof: Equal chords, equidistant from centre