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

Доказано, что над любым бесконечным полем $k$ характеристики $\ne2$ тождества трехмерной простой алгебры Ли $sl_2(k)$ допускают базис, состоящий из одного тождества
$$ [y, z, [t, x], x]+[y, x, [z, x], t]=0. $$
В случае нулевой характеристики этот результат был ранее получен Ю. П. Размысловым и В. Т. Филипповым.