>>938
微分可能性を示すのだから
合成関数の微分法はその結論だよ