Para "n" ≠ 4, cualquier "n"-variedad diferenciable que sea homeomorfa a "E" es también difeomorfa a ella.