theorem
  (-f)^ = (-1)(#)(f^) by Lm1,Th28;
