Answer:
<5 ~= <1 - Corresponding Angles Theorem
<1 ~= <7 - Alternate Exterior Angles Theorem
<5~= <7 - Vertical Angles Theorem
line l || line m - Transitive Property
