ポアソン括弧
and hence is conserved if and only if formula_6. Here formula_7 denotes the Poisson bracket.