Переход к модели в полусфере
Большие окружности на сфере задают прямые на проективной плоскости
Прямые на проективной плоскости