formula_12はformula_13の外微分を表す。