theorem :: NUMBER19:65

for p being Polynomial of INT.Ring holds
( not eval (p,(In (1,INT.Ring))) = 2 or not eval (p,(In (3,INT.Ring))) = 5 )