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

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

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