Proof of the Circle Theorems