for a, b, c, d, a9, b9, c9, d9 being Real st ( for z being Complex holds Polynom (a,b,c,d,z) = Polynom (a9,b9,c9,d9,z) ) holds
( a = a9 & b = b9 & c = c9 & d = d9 )