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