theorem Th43: :: HURWITZ:44

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