A closed hypersurface with constant scalar and mean curvatures in \(\mathbb{S}^ 4\) is isoparametric (Q1261729)

The theorem given in the title is proven. The interest in this problem stems in particular from the study of minimal submanifolds with constant scalar curvature, in which case the theorem was known [the author, J. Differ. Geom. 37, No. 3, 523-534 (1993)]. It was also known under the additional assumption of nonnegative scalar curvature [\textit{S. de Almeida} and \textit{F. Brito}, Duke Math. J. 61, No. 1, 195-206 (1990; Zbl 0721.53056)], and this assumption is indeed always satisfied.