M: n次元閉位相多様体は: n微分可能構造を持つ; n>4 ならば、M は高々有限個の微分可能構造を持つ; n=4 のとき、無限個の微分可能構造を持つ単連結な4次元閉多様体が多く知られている; 有限個の微分可能構造を持つ4次元微分可能多様体の例は見つかっていない…