theorem :: POLYEQ_4:6

for x, a being Real st a <> 0 & Polynom (a,0,0,x) = 0 holds
x = 0