ポアンカレ予想
Freedman's structure theorem can be used to prove the h-cobordism theorem for 5-dimensional topological cobordisms, which in turn implies the 4-dimensional topological Poincaré conjecture.