Tubular Neighborhood Theorem

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

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

Suppose, $S$ is embedded.

Then $S$ has a tubular neighborhood in $M$.