for b being Complex st b <> 0 holds
for x being Complex holds not Polynom (0,b,x) = 0 ;