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