theorem :: POLYEQ_1:9

for x being Complex holds Polynom (0,0,0,x) = 0 ;