Positivity of the Bondi energy in Einstein-Maxwell axion-dilaton gravity

We present a proof of the positivity of the Bondi energy in Einstein-Maxwell axion dilaton gravity, being the low-energy limit of the heterotic string theory. We consider the spacelike hypersurface which asymptotically approaches a null cone and on which the equations of the theory under consideration are given. Next, we generalize the proof allowing the hypersurface having inner boundaries.