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