Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
That formula that you refer to is an application of the Ricci identities aka the commutation formulae for the covariant derivatives applied to the Codazzi equations (3.7) using the symmetries of the second fundamental form established in Lemma 3.1.
