Variety-containing subgroup of finite group