О делителях нуля в бинарно лиевых алгебрах

Делителями нуля в антикоммутативной алгебре $A$ называются линейно независимые элементы $x$, $y\in A$, для которых $xy=0$. Доказана следующая
Теорема. Бинарно лиева алгебра характеристики, не равной $2$, $3$, не имеющая делителей нуля, является либо алгеброй Ли, либо $7$-мерной простой алгеброй Мальцева.
Библ. 5.