Теорема о числе точек пересечения окружности и прямой