if-then form for "angles in a linear pair are supplementary"​