ネーターの定理
The essence of Noether's theorem is generalizing the ignorable coordinates outlined.