Это тред очевидных вещей? Тогда и я вброшу. 🤔🧐
Всякое n-мерное многообразие гомотопически эквивалентно n-мерной сфере тогда и только тогда, когда оно гомеоморфно ей.