  It is important in many applications to be able to extend the (outer) unit
normal vector field from a hypersurface to its neighborhood in such a way that
the result is a unit gradient field. The aim of the paper is to provide an
elementary proof of the existence and uniqueness of such an extension.
