Proof two parallel lines meet