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