結果 : derivative of composite function proof