theorem Th42: :: HURWITZ:42

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