theorem Th21: :: FIELD_3:26

for R being Ring
for p being Polynomial of R
for r being Real holds p <> r