Доказы абагульненай гіпотэзы Пуанкарэ для n ⩾ 5 атрыманы ў пачатку 1960—1970-х амаль адначасова Смейлам, незалежна і іншымі метадамі Столінгсам(англ.) бел. (для n ⩾ 7, яго доказ быў пашыраны на выпадкі n = 5 і 6 Зееманам(англ.) бел.).