Tubular Neighborhood Theorem

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

Let $S$ be a submanifold of $M$.

If $S$ is embedded, then $S$ has a tubular neighborhood in $M$.

If $S$ is compact, then $S$ has a uniform tubular neighborhood in $M$.