If two adjacent angles are supplementary, then their exterior arms lie in a straight line.


are adjacent angles.


AOB is a straight line.


A Corollary is an easy consequence of a theorem.

It two lines intersect, then the vertically opposite angles so formed are equal,
and 

When a number of lines meet at a point, the sum of the angles so formed is four right angles.
