The key tool in establishing this fact is the approximation of arbitrary asymptotically flat coordinates for  by asymptotically flat coordinates which are harmonic.
Establishing this fact relies on approximating arbitrary asymptotically flat coordinates with harmonic asymptotically flat coordinates.