Бинарно лиевы алгебры, удовлетворяющие 3-му условию Энгеля

Пусть $\Phi$ – ассоциативное коммутативное кольцо с единицей, содержащее $\frac12$. Доказана локальная нильпотентность бинарно лиевых $\Phi$-алгебр, удовлетворяющих 3-му условию Энгеля. Кроме того, доказано, что этот класс не содержит полупервичных алгебр.