Принадлежность четырех точек одной окружности