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