Kann KI Prove the Intersecting Chords Theorem of Euclid?