total kinetic energy subgroup of kinetic energy, 1 assertions