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