final momentum subgroup of momentum, 1 assertions