Finiteness of totally geodesic hypersurfaces

We prove that a closed negatively curved analytic Riemannian manifold that contains infinitely many totally geodesic hypersurfaces is isometric to an arithmetic hyperbolic manifold. Equivalently, any closed analytic Riemannian manifold with negative sectional curvature has only finitely many totally geodesic hypersurfaces, unless it has constant curvature.