Because is a gradient, . Therefore
Thus is an affinely parametrized timelike geodesic vector field, and because is constant on , it emanates orthogonally from .