О многообразии алгебр типа $(-1, 1)$

Доказывается, что многообразие алгебр типа $(-1, 1)$ над полем характеристики $0$ является наименьшим многообразием, содержащим многообразие, порожденное свободной $(-1, 1)$-алгеброй ранга $2$, и многообразие $(-1, 1)$-алгебр, удовлетворяющих тождеству $[[x, y], z]=0$.