Дифференцируемое многообразие с несовпадающими размерностями при CH

В предположении континуум-гипотезы построено дифференцируемое $n$-многообразие $M^{n,m}$, $4\leqslant n<m$, размерности
$$ m-1\leqslant\dim M^{n,m}\leqslant m<m+n-3\leqslant\operatorname{Ind}M^{n,m}\leqslant m+n-1. $$
Пространство $M^{n,m}$ совершенно нормально и наследственно сепарабельно.
Библиография: 19 названий.