theorem Th44: :: HURWITZ:45

for f being Polynomial of F_Complex holds (- f) *' = - (f *')