Existence of Smooth Orthonormal Frames for Pseudo-Riemannian Manifolds

Theorem
Let $\struct {M, g}$ be a pseudo-Riemannian manifold.

Then for each $p \in M$ there exists a smooth orthonormal frame on a neighborhood of $p$.