Введи еще угол три он будет напротив угла один, он равен углу 2 т.к вертикальный, из этого следует что а\\в из-за суммы односторониих углов) на математическом языке это выглядит так l1+l2=L1=L3=180