Переведите на русский язык такое утверждение:
∀ A, B, C ∈ окружности ∃! O: OA = OB= OC.
Как вы думаете: верно ли это утверждение, и почему?