Parallel Lines Definition And Proof