Based on this diagram, the following relation holds true.
By the definition of congruent angles, and have the same measure. For the same reason, and also have the same measure. Furthermore, in the diagram it can be seen that and form a straight angle. Therefore, by the Angle Addition Postulate their measures add to By the Substitution Property of Equality, it follows that the sum of the measures of and is equal to Finally, in can be named