Difference Nullstellensatz in the case of finite group