3.3 Proving Lines Parallel