This result can be proven by an induction argument. In the induction step, the application of the divergence theorem reduces the order of the covariant derivative. Using Ricci identities and estimates on the reminding terms implies the results.

See draft for details.

Links Link to heading