image The positive energy conjecture was proven by Schoen and Yau [155], [156] and, using spinor techniques, by Witten [184]; see also [171].