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

Пусть $\mathcal M$ – квазимногообразие всех групп без кручения, в которых квадраты элементов перестановочны. Доказывается конечность множества квазимногообразий, содержащихся в $\mathcal M$ и заданных квазитождествами от двух переменных.