Noether's theorem
where the integral is over the boundary. This is the quantum analog of Noether's theorem.