Proofs involving parallel lines