If ∇1 and ∇2 are two connections on E → M then their difference is a C∞-linear operator.
如果 ∇1 与 ∇2 是 E → M 上两个联络则他们的差是一个 C∞-线性算子。