単連結ならば球と同相であること、はポアンカレ予想・幾何化予想によって証明されたけど、
この宇宙が単連結かどうかは証明されてないんだろ？そうなんだろ？

だいたいせっかく8種類に分類したのに、球以外の可能性が否定されたんなら、
結局、単連結かどうかにかかわらず3次元閉多様体は球と同相なものしかないってことか？

トーラスはどこ行った？