I won't write out a formal proof; here's an outline.
H+X=180. definition of supplementary
H+F=180 crossing lines
X=F supplements of the same angle are equal, or just algebra
l || n When the alternate angles of a transverse line between two lines are congruent, the lines are parallel
