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

Доказано, что любое подмногообразие многообразия, определенного тождествами $[[x_1,x_2,\dots,x_n],[x_{n+1},x_{n+2}],[x_{n+3},x_{n+4},\dots,x_{2n+2}]]$, $[[x_1,x_2,\dots,x_n],[x_{n+1},x_{n+2}],[x_{n+3},x_{n+4},\dots,x_{2n+2}]]$, $[[x_1,x_2],[x_3,x_4],\dots,[x_{2n-1},x_{2n}]]$ имеет конечный базис тождеств. Эта теорема – обобщение результатов Воон Ли и Макки о существовании конечного базиса тождеств для некоторых многообразий.