Four dimensional biharmonic hypersurfaces in nonzero space forms have constant mean curvature (Q2220113)

In the paper under review the authors analyzing the Gauss and Codazzi equations show that 4-dimensional biharmonic hypersurfaces in nonzero space forms have constant mean curvature. This result answers positively a conjecture due to \textit{A. Balmus} et al. posed in [Isr. J. Math. 168, 201--220 (2008; Zbl 1172.58004)] regarding 4-dimensional hypersurfaces. The paper is well written and the result is very interesting. It contributes very much to the study of harmonic mappings.