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