Circle theorems

Demonstration of circle theorems