ネーターの定理
Noether's theorem for gauge transformations.