 (Komar 1959).While general space-times lack a finite-parameter time-translation symmetry, stationary space-times have such a symmetry, known as a Killing vector.Noether's theorem proves that such stationary space-times must have an associated conserved energy.