"Euclid's third axiom"@en-us . .