Якщо б хорда CD не була діаметром, то діаметр AB, який ділить її навпіл, був би перпендикулярним до неї, але це не так за умовою. Тому CD — діаметр.