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