  We give a short proof, in the tradition of the classical work of de Giorgi
and Miranda on flat space, that the reduced boundary of a set of least
perimeter in a Riemannian manifold of dimension $\leq 7$ is a smooth minimal
hypersurfaces.
