Prove that Euclid's parallel postulate implies Playfair's parallel postulate