Riemann curvature tensor
the Riemann curvature tensor with formula_13, then