This is quite well-known: the ONLY metric invariants are curvature, its higher derivatives, and any possible contractions between them.

The meaning of an invariant is, to put it simply, a tensor that is decided by the metric in a "canonical" way, but is independent on local coordinates.

So my question is how such a result is proved?