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.
