for R being domRing
for S being non empty finite Subset of R
for p being Ppoly of R,S holds deg p = card S