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.