on::::数学表述.具体地说，如果 formula_2 是一个调和函数（即formula_3，其中 formula_4 是关于度规 formula_5 的拉普拉斯算子），则其中 formula_7 是 formula_8 关于 formula_9的梯度。 博赫纳使用这一公式来证明博赫纳消没定理。