Прямым ab, ca, cb соответствуют на гиперболической плоскости прямые АВ, С А и СВ и так как точкам а и 6 соответствуют бесконечно удаленные точки, то СА и СВ суть прямые, параллельные АВ именно в том смысле, как это понимает Лобачевский. Прямые ch, проходящие внутри угла acb, пересекают хорду ab им соответствуют на гиперболической плоскости прямые СН, пересекающие прямую АВ, сходящиеся с ней. Прямые с /, проходящие внутри вертикальных углов Ьса и acb, не встречают хорды аЪ соответствующие им на гиперболическом плоскости прямые CF расходятся с АВ.