Es sei K {\displaystyle {}K} ein Körper und seien F 1 , … , F m ∈ K [ X 1 , … , X n ] {\displaystyle {}F_{1},\ldots ,F_{m}\in K[X_{1},\ldots ,X_{n}]} und G 1 , … , G k ∈ K [ Y 1 , … , Y m ] {\displaystyle {}G_{1},\ldots ,G_{k}\in K[Y_{1},\ldots ,Y_{m}]} Polynome. Wir setzen
Zeige, dass die formalen partiellen Ableitungen die „formale Kettenregel“