式是关于黎曼流形之间调和映射的恒等式。 它以美国数学家所罗门·博赫纳的名字命名。
数学表述.设 "M" 和 "N" 为黎曼流形，并令 "u" : "M" → "N" 为一个调和映射。 设d"u" 表示的"u"的（向前）导数，∇为梯度，Δ为拉普拉斯–贝尔特拉米算子，Riem 为"N"上的 黎曼曲率张量，Ric 为"M"上的里奇曲率张量，则有