John Conway Circle Theorem Proof