theorem
  <k>*' = -<k> by Th24,Lm24;
