If with any straight line, and at a point on it, two straight lines not on the same side make the sum of the adjacent angles equal to two right angles, then the two straight lines are in a straight line with one another.
Let angles ABD + DBC = two right angles.
We prove that A, B, C are collinear.
Proof by contradiction using Proposition 13.