Необходимое условие конечности кодлины многообразия алгебр Ли в случае поля нулевой характеристики

В статье исследуется связь некоторых характеристик многообразия алгебр Ли, таких как кодлина, со строением многообразия в случае поля нулевой характеристики. В частности, доказывается, что из конечности кодлины многообразия $V$ следует включение $U_2\not\subset V\subset N_sA$, где $s$ — некоторое натуральное число, и как следствие полиномиальность роста данного многообразия.