theorem Th48: :: POLYDIFF:48

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