Гладкая эквивалентность ростков векторных полей с одним нулевым или парой чисто мнимых собственных значений

Для ростков $C^\infty$-векторных полей с одним нулевым или парой чисто мнимых собственных значений в особой точке, не принадлежащих подмножеству коразмерности бесконечность, доказано, что формальная эквивалентность влечет гладкую.