このとき、系に個の独立な第一積分が存在し、それらのポアソン括弧が可換