Для довільного многовиду X груп і довільного класу Y груп, що замкнений за фактор-групами, доведено, що фактор-група G/N групи G має інваріантну систему X і Y -факторами (відповідно, апроксимується Y -групами) у випадку, ...