Theorems about a circle