Proof: Chords equidistant from centre are equal