Правонормированный базис свободной супералгебры Ли и слова Линдона–Ширшова

Строится базис свободной супералгебры Ли, состоящий из правонормированных слов $[a_{i_{1}}[a_{i_{2}}[\dots[a_{i_{t-1}}a_{i_{t}}]\dots]]]$, где $a_{i_{j}}$ – свободные порождающие.