Конечная базируемость тождеств ассоциативных алгебр

Решается проблема Шпехта — доказывается, что любая ассоциативная алгебра над полем характеристики нуль имеет конечный базис тождеств.