theorem Th16: :: FIELD_3:21

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