theorem :: POLYEQ_3:24

for z, z1, z2 being Complex st z1 <> 0 & Polynom (z1,z2,0,z) = 0 & not z = - (z2 / z1) holds
z = 0