theorem :: POLYDIFF:20

for f being differentiable Function of REAL,REAL holds (- f) `| = - (f `|) by Th19;