设η:P×𝖌→𝖌为平凡丛，Ω为P的取值于η的微分形式。由嘉当结构方程Ω=dω+[ω,ω]，则dΩ=d[ω,ω]，由于ω|𝓗=0，dΩ|𝓗=d[ω,ω]|𝓗=0。