>>11
どこまでなら既知?
計量テンソルとリッチテンソルのタイプが同じであるというのはOKかな?