Теорема Ли для разрешимых бинарно-лиевых алгебр

Доказывается, что конечномерная разрешимая бинарно-лиева алгебра над полем характеристики $0$ содержит абелев идеал, а если дополнительно потребовать алгебраическую замкнутость основного поля, то такая алгебра будет содержать одномерный идеал.