theorem Th56: :: POLYDIFF:56

for p being Polynomial of F_Real holds Eval (- p) = - (Eval p)