Energy theorem for 2+1 dimensional gravity