>>525
>h → 0 のとき g(s, x + h) - g(s, x) → 0 であるから
>ρ(h) → 0 である。
>よって、任意の ε > 0 に対して δ > 0 があり、|h| < δ なら
>|f(s, g(s, x + h)) - f(s, g(s, x)) - (d_2)f(s, g(s, x))(g(s, x + h) - g(s, x))|
>< ε|g(s, x + h) - g(s, x)|

この部分は飛躍があった。
δ > 0 が s に無関係に選べることを示さなければならない。
これを証明するため補題を用意する。