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
.