Existence and Uniqueness of Outward-Pointing Normal

Theorem
Let $\struct {M, g}$ be a smooth Riemannian manifold with boundary $\partial M$.

Then the normal bundle to $\partial M$ is a rank-$1$ smooth vector bundle over $\partial M$.

Furthermore, there is a unique smooth outward-pointing unit normal vector field along all of $\partial M$.