Tag derivation of work energy theorem