"Euclidean axiom"@en-us . .