"次齐次多项式，设 formula_17是"P"上的2"k"-形式，以下式给出其中formula_19是2"k"个数的对称群formula_20中置换formula_21的符号。（见普法夫值。）可证是闭形式，故且formula_24的德拉姆上同调类独立于在"P"上的联络的选取，故只依赖于主丛。因此设是由上从"f"得出的上同调类，故有代数同态