for R being flat Ring
for p being Polynomial of R holds not p in [#] R