Wir arbeiten mit der exakten Sequenz
-
aus
Fakt,
wobei die -te Jacobi-Taylor-Matrix bezeichnet. Ein Differentialoperator auf ist das gleiche wie eine -Linearform auf . Dies wiederum ist das gleiche wie eine -Linearform auf
(also einfach ein -Tupel ),
die die Eigenschaft
erfüllt. Dies ist äquivalent zu
.