Полиномиальные реализации конечномерных алгебр Ли

Доказано, что произвольная конечномерная алгебра Ли над алгебраически замкнутым полем $K$ характеристики $0$ может быть вложена (реализована) в качестве транзитивной подалгебры Ли в алгебру Ли полиномиальных векторных полей на пространстве $K^n$. То же доказано для произвольных вещественных алгебр Ли и еще в некоторых других случаях.