← 2-9 Proving Lines Parallel