theorem Th5: :: POLYEQ_4:5

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