Prove that the
set \{0} is a
Gröbner system if and only if there exists a polynomial f
​​​​​​​ that
divides any polynomial in F.