Introduction to proofs involving parallel lines