theorem
  (-f)`| = -(f`|) by Th19;
