>>16805906
The axioms are about different things here (Euclidean vs spherical), so your example is not relevant.