theorem Th45: :: HURWITZ:46

for f, g being Polynomial of F_Complex holds (f + g) *' = (f *') + (g *')