Circle theorems with proofs