And as a final followup, the most legit and robust version of this proof as it applies to ALL OF PHYSICS is called Noether’s theorem, discovered by Emmy Noether in 1915.

是“诺特定理” 由诺特在1915年发现是“诺特定理” 由诺特在1915年发现。