Noether's theorem
これは解析力学におけるネーターの定理の一般化であるともみられる。