Так вот — рассуждение выше это альтернативный способ завершить доказательство. А именно: в модели Пуанкаре прямые это дуги окружностей, перпендикулярные абсолюту — в частности, они сохраняются при инверсии относительно абсолюта. Значит, раз те три окружности, дуги которых это диагонали шестиугольника в модели Пуанкаре — раз они пересекаются в одной точке Y, то они пересекаются и во второй точке Y' — в её инверсном образе относительно абсолюта. А это как раз условие применимости заключительной формулировки.