theorem :: POLYEQ_1:10

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