3.4 Proofs with Parallel Lines