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