Множество уровня гладкого отображения в окрестности особой точки и нули квадратичного отображения

Исследуется множество уровня $M$ гладкого отображения $F$ в окрестности анормальной точки. Для него введены понятия 2-регулярности. Доказано, что если рассматриваемое отображение 2-регулярно в исследуемой точке, то в ее окрестности множество $M$ локально диффеоморфно множеству нулей второго дифференциала отображения $F$.