We give a rigorous proof of the existence of solutions to the nonlinea
r gauge conditions on orthonormal frames introduced by Nester to prove
the positive energy theorem in general relativity. The proof holds in
all dimensions n greater than or equal to 2. If the second de Rham co
homology group vanishes one also proves uniqueness. (C) 1996 American
Institute of Physics.