Chapter 3.2: Proving Lines Parallel