theorem :: POLYEQ_1:1

for a, b, x being Complex st a <> 0 & Polynom (a,b,x) = 0 holds
x = - (b / a)