6.3 Parallel Line Theorem