The Leibniz rule for integrals: The Derivation