Минимальный базис тождеств матричной алгебры второго порядка над полем характеристики $0$

Рассматривается многообразие ассоциативных алгебр над полем характеристики $0$, порожденное матричной алгеброй порядка $2$. Доказано, что базис тождеств этого многообразия состоит из $S_4(x_1,x_2,x_3,x_4)$ и $[[x_1,x_2]^2,x_1]$.