Непогружаемость нилмногообразий в виде гиперповерхностей в евклидово пространство

Доказано, что $2n+1$-мерная группа Гейзенберга $H_n$ и $4$-многообразия $\operatorname{Nil}^4$, $\operatorname{Nil}^3\times\mathbb R$ с произвольной левоинвариантной метрикой не допускают $C^3$-регулярного погружения в виде гиперповерхностей в евклидовы пространства $\mathbb R^{2n+2}$ и $\mathbb R^5$ соответственно.
Библиография: 7 названий.