Given that .
From the figure are alternate interior angles.
(Alternate interior angles postulate)
(From the definition of congruent angles)
(Substitute )
The angle is .