境界のないコンパクトな3次元多様体Vを考える.Vの基本群がトリビアルであるにもかかわらず,Vが3次元球面にホメオモルフィックでないといことが,起こり得るか?(ポアンカレ予想)