Выдержка из книги
Брус Дж.N.
Кривые и особенности Геометрическое введение в теорию особенностей
Действительно, функция / имеет в t0 особенность Л1 и в силу п-версальности 1-струи производных dF / dxt ( t, x0) не могут обратиться в нуль одновременно. Поэтому хотя бы одно из чисел d2F / dt dxt ( t0, хй) отлично от нуля. Следовательно, SF в некоторой окрестности Ut точки ( t0, хй) в Rr 1 является г-мерным подмногообразием.