Beltrami also showed that "n"-dimensional Euclidean geometry is realized on a horosphere of the ("n" + 1)-dimensional hyperbolic space, so the logical relation between consistency of the Euclidean and the non-Euclidean geometries is symmetric.