G.39 supplementary adjacent angles form a line — Video

I.14

If two segments at a point on a line on opposite sides make adjacent angles summing to two right angles, the two segments are collinear.