for x being Complex holds Polynom (0,0,0,x) = 0 ;