Верно ли утверждение, что всякое n-мерное многообразие гомотопически эквивалентно n-мерной сфере тогда и только тогда, когда оно гомеоморфно ей?
На этот вопрос нет однозначного ответа - зависит абстрагируемся ли мы от эквивалентных репрезентаций или нет? И даже если выбираем серединный путь по лезвию Оккама - делаем ли мы это искренне или просто пытаемся написать много умных слов?