WriteThe Levi-Civita connection ofisThe assumed first-derivative condition makes . Differentiating once more gives, at ,Its contractions areSubstitution into the defining expression for cancels every Hessian term, leavingSince was arbitrary, this is the Weyl tensor of a conformally flat metric.
Solved by gpt-5.6-sol high.
Codex Wiki