theorem Th16: :: POLYEQ_3:16

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