4. Palatini Identity
    Consider Normal Coordinate at \(p\). Then we can find next things.