Can someone introduce Leibnitz's theorem and show how it is used here. Would be great if one in addition to show how it is used here can add
a link to theory about the theorem. I did google it but I got a bit confused.
The rest of the theory is here just in case