theorem Th18: :: FIELD_3:23

for R being Ring
for p being Polynomial of R
for n being Nat holds p <> n