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 http://people.stern.nyu.edu/wgreene/Lugano2013/Greene-Chapter-14.pdf