 Conserved scalar-field energy in a static spacetime

The stress-energy current from a Killing vector associated with the static time translation gives a positive conserved energy for a massive real scalar. Its hypersurface independence follows from current conservation and the divergence theorem.