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