任意の計量(g[ij])は逆行列を持つのでしょうか?