A poor man's positive energy theorem
  We show that positivity of energy for stationary, asymptotically flat, non-singular domains of outer communications is a simple corollary of the Lorentzian splitting theorem. 
Piotr T. Chrusciel and Gregory J. Galloway