An Update on Upper-Dimension Axioms

I just realized that the first upper-dimension axiom on my Netcom/Earthlink site (earlier mentioned here) also implies Euclid's axiom. In English, the axiom means that every sphere can be put inside a n-dimensional simplex. In a Lobachevskian space there's an upper limit to the size of a triangle.