Unizor - Geometry2D - Circles - Theorems 1