Ich weiss nicht, welche Definition Du meinst, aber mit der von Leibniz geht es so: $$\begin{aligned}dz&=&F(K+dK, L+dL)-F(K,L)\\ &=&80(K+dK)^7+20(L+dL)^5-80K^7-20L^5\\ &=&80(K^7+7K^6\,dK+\cdots)+20(L^5+5L^4\,dL+\cdots)-80K^7-20L^5\\ &=&560K^6\,dK+100L^4\,dL.\end{aligned}$$ Hoehere Potenzen der Differentiale werden einfach aus dem Ergebnis gestrichen. :)