In general relativity, the positive energy theorem (more commonly known as the positive mass conjecture) states that, assuming the dominant energy condition, the mass of an asymptotically flat spacetime is non-negative; furthermore, the mass is zero only for Minkowski spacetime. The theorem is a scalar curvature comparison theorem, with asymptotic boundary conditions, and a corresponding statement of geometric rigidity. In general relativity, the positive energy theorem (more commonly known as the positive mass conjecture) states that, assuming the dominant energy condition, the mass of an asymptotically flat spacetime is non-negative; furthermore, the mass is zero only for Minkowski spacetime. The theorem is a scalar curvature comparison theorem, with asymptotic boundary conditions, and a corresponding statement of geometric rigidity. The original proof of the theorem for ADM mass was provided by Richard Schoen and Shing-Tung Yau in 1979 using variational methods. Edward Witten gave another proof in 1981 based on the use of spinors, inspired by positive energy theorems in the context of supergravity. An extension of the theorem for the Bondi mass was given by Ludvigsen and James Vickers, Gary Horowitz and Malcolm Perry, and Schoen and Yau. Gary Gibbons, Stephen Hawking, Horowitz and Perry proved extensions of the theorem to asymptotically anti-de Sitter spacetimes and to Einstein–Maxwell theory. The mass of an asymptotically anti-de Sitter spacetime is non-negative and only equal to zero for anti-de Sitter spacetime. In Einstein–Maxwell theory, for a spacetime with electric charge Q {displaystyle Q} and magnetic charge P {displaystyle P} , the mass of the spacetime satisfies (in Gaussian units) with equality for the Majumdar–Papapetrou extremal black hole solutions.