22/11/20 09:55:50.16 YpHm4yCq.net
lim_{h→0} [g(a+h)-g(a)]/h = 0 でなければならない。
φ(h) := [f(g(a+h))-f(g(a))]/[g(a+h)-g(a)] if g(a+h)-g(a) ≠ 0
φ(h) := f'(g(a)) if g(a+h)-g(a) = 0
と定義すると、 φ は h = 0 で連続である。
∴ [f(g(a+h))-f(g(a))]/h = φ(h) * [g(a+h)-g(a)]/h → f'(g(a)) * 0 = 0