leibnitz rule derivation