Euclid, [i]The Elements[/i], Book 1
Proposition XIV: If two lines meet in a point and make angles equal to 180 degrees, they are in a straight line with one another.
In this construction, the inequality stays properly on the left hand side of AB no matter how you rotate the vector.
