Задача на доказательства по высшей геометрии

Пользуясь только аксиоматикой плоскости Лобачевского (т.е. не используя модели) доказать, что две прямые, лежащие на плоскости Лобачевского, и образующие внутренние односторонние углы с третьей прямой в сумме равные двум прямым углам, имеют общий перпендикуляр.

Обязательные требования теоретический материал к задаче который использовался при доказательстве . Рисунки к задаче и указать общий перпендикуляр . оформить в ворде .