Noether's theorem
The essence of Noether's theorem is generalizing the ignorable coordinates outlined.