theorem :: POLYEQ_3:17

for z1, z2, z3, s1, s2, s3 being Complex st ( for z being Complex holds Polynom (z1,z2,z3,z) = Polynom (s1,s2,s3,z) ) holds
( z1 = s1 & z2 = s2 & z3 = s3 )