Es sei K{\displaystyle {}K} ein Körper und seien F1,…,Fm∈K[X1,…,Xn]{\displaystyle {}F_{1},\ldots ,F_{m}\in K[X_{1},\ldots ,X_{n}]} und G1,…,Gk∈K[Y1,…,Ym]{\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“