>>653 dy:=y'Δx と定義する。関数 y=x のときは、dx=x'Δx
高木「解析概論」改訂第三版の第13節の一部とそっくりだが、
dx=x'Δx が成り立つ理由があやしい。

それから
y=x の場合に限られるという誤解を
否定できていないように見える。