全運動量formula_24が一定であることを意味する。