О конечной базируемости полной матричной алгебры второго порядка над полем характеристики нуль

Теорема А. Множество всех тождеств полной матричной алгебры второго порядка над полем характеристики нуль конечнобазируемо, и все они являются следствиями из тождеств степеней $4$, $5$, $6$, выполняющихся в этой алгебре.
Эта теорема выводится из следующего результата:
Теорема Б. Множество всех лиевых тождеств алгебры Ли $sl(2,K)$ матриц второго порядка со следом нуль над полем характеристики нуль конечнобазируемо, и все эти тождества следуют из тождеств степени $5$, выполненных в $sl(2,K)$.
При доказательстве теоремы Б используется техника, развитая автором в двух статьях: “Об одной проблеме Капланского”, Изв. АН СССР, серия матем., 37, № 3 (1973), 483–502; Об одном примере неразрешимого почти кроссова многообразия групп", Алгебра и логика, 11, № 2 (1972), 186–206.