Linear Pair Postulate: If two angles form a linear pair, then the measure

of the angles add up to 180 degrees.

Vertical Angle Postulate: If two angles are vertical angles then they are
congruent.
Triangle Sum Theorem: The sum of the measures of the angles in
every triangle is 180 degrees.