高次元多様体の分類って分類が終わったらそれまでの話なの?