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