Proving Circle Theorems: 5 Proofs in 10 minutes