Stokes' theorem
最后一项formula_27是一个全微分，根据斯托克斯定理当对它进行积分时只能得到一个边界项。因而当度规的变分formula_13 在无穷远处趋于零时这项的积分也为零，从而不对作用量有贡献。这样我们得到