prove that the chords are equal.