(U3.LS.3) Proving Lines Parallel