(適当な条件下で)商の導関数の存在を前提にすれば Leibniz rule からすぐに出るのはわかるけど、
存在は自明か?