>>211
商の導関数の公式は積の導関数の公式を利用して証明するんだったね。