О точности условий теоремы Федерера

В теореме Федерера оценивается “массивность” множества критических значений $t$-гладкого отображения, действующего из $\Bbb R^m$ в $\Bbb R^n$ — выясняется, при каких $p$ это множество имеет нулевую $p$-мерную меру Хаусдорфа. Точность условия, связывающего величины $m,n,t,p$, была установлена ранее в случае $n\ge m$. В работе строится пример, показывающий, что и при $n<m$ условие теоремы Федерера также точно.