Noether's theorem
ネーターの定理はハミルトン形式に対しても同様に成り立つ。