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