开的。这个结果的一个直接的结论就是formula_54与formula_4不同胚，当formula_56。
与流形的关系.在现代数学中，欧几里得空间形成了其他更加复杂的几何对象的原型。特别是流形，它是逻辑上同胚于欧几里得空间的豪斯多夫拓扑空间。formula_1维欧氏空间是n维流形的典型例子，事实上也就是光滑流形。对于formula_58，任意与formula_4同胚的可微n维流形，也是微分同胚的。值得惊奇的结果是，1982年西蒙·唐纳森证明了对于formula_60的情况不成