О существовании входящих в особую точку решений автономной системы, обладающей формальным решением

Рассматривается автономная система дифференциальных уравнений в окрестности особой точки. Доказано, что если имеется формально удовлетворяющий системе формальный вектор-ряд, составленный из вещественных степеней времени и его итерированных логарифмов и экспонент с числовыми коэффициентами, члены которого вполне упорядочены по стремлению к нулю (когда время стремится к бесконечности), то можно найти настоящее входящее в особую точку решение.