Mass and angular-momentum inequalities for axi-symmetric initial data sets I. Positivity of mass

We extend the validity of Brills axisymmetric positive energy theorem to all asymptotically flat initial data sets with positive scalar curvature on simply connected manifolds.