Обратное свойство: Если из двух точек окружности отрезок виден под прямым углом, то этот отрезок является диаметром окружности.