theorem Th19: :: FIELD_3:24

for R being Ring
for p being Polynomial of R
for i being Integer holds p <> i