Statements --> reasoning
∠1 ≅ ∠2 --> Given
t ⊥ m --> Because ∠1 ≅ ∠2, this intersection is the corresponding measure of angle 1 and is also supplementary with angle 2.
t ⊥ l --> Given.
m║l --> Supplementary angles add up to 180, but do not have to be right next to each other to form a straight angle. The alternate interior angle theorem states that when alternate interior angles have the same measure, the two lines are parallel.
