ここに、formula_37はアインシュタインテンソルである。