О -точка пересечения
DAO и CBO по 2 сторонам и углу между ними
(Пусть Δ ABC и таковы. В соответствии с аксиомой 4.1 существует Δ равный данному с вершиной в точке с вершиной лежащей на луче и вершиной в той же полуплоскости относительно прямой где лежит вершина.
Так как по условию, то на основании аксиомы 1.5 точки и совпадают. Так как то луч совпадает с лучом. Так как то на основании аксиомы 2.5 вершина совпадает с вершиной. Тогда совпадает с и, значит, равен Δ ABC. Теорема доказана.)
CAB и DAB