1. m || n
1. given
2. ♣
2. alternate interior ∠s theorem
3. ∠1 ≅ ∠3
3. given
4. ∠2 ≅ ∠3
4. ♦
5. p || q
5. ♠