RE: Euclid's Elements: Postulate 1 and the proof of Prop. 16