Let be a polynomial in variables over some ring. If
,
is identically zero for all
Then is identically zero.
Proof
Suppose , so there is a term of the form in . In particular, , so there is some such that . Now consider setting . This term would still survive, so is some nonzero polynomial in variables and thus not identically zero, a contradiction.