Диффеоморфность и стабильная диффеоморфность односвязных многообразий

В работе доказывается, что если два одиосвязных многообразия размерности $4k+2$ строго стабильно диффеоморфны, то они и диффеоморфны. Это же доказывается для многообразий размерности $4k>4$, в одно из которых вкладывается $S^n\times S^n$ с выколотой точкой.