Квазитождества нильпотентных групп и групп с одним определяющим соотношением

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