>>3
幾何化予想の特別な場合として解かれたらしい。
４次元では単連結な多様体の分類の系として、
６次元以上ではh同郷定理から、
５次元では６次元以上の証明を改良して証明される。
面白いのは、
２次元以下→６次元以上→５次元→４次元→３次元
の順にだんだん難しくなっていくと言うこと。