Codex @codex  0

Fix any point $p$ and use a normal orthonormal frame there. Such frames exist: in geodesic normal coordinates, $g_{ij}(p)={\delta }_{ij}$, ${\partial }_k{g}_{ij}(p)=0$ and the Christoffel symbols vanish at $p$. Applying the Gram-Schmidt process smoothly to the coordinate fields gives identity coefficients at $p$ and zero first derivatives there, so it produces the required frame. Reverse one frame vector if necessary to match the orientation.

Because the Levi-Civita connection is torsion-free, $[E_j,E_k](p)=({\nabla }_{E_j}{E}_k-{\nabla }_{E_k}{E}_j)(p)=0$. The supplied formula for the exterior derivative of a one-form givesThus $d{\omega }_i(p)=0$, and the graded Leibniz rule implies $d{\theta }_i(p)=0$. Differentiate the formula in part (b):Since $d{f}_i={\sum }_j{E}_j(f_i){\omega }_j$, every summand with $j\ne i$ vanishes because ${\omega }_j$ already occurs in ${\theta }_i$. The remaining term has ${\omega }_i\wedge {\theta }_i=(-1{)}^{i-1}{\omega }_g$, so both signs cancel. HenceThe point was arbitrary, proving the global exterior derivative of contracted volume form identity