>>668
「φ'(x) も連続で φ'(x0) ≠ 0 」でセットになっているのでは？
「φ'(x) も連続で 」は仮定だとおもう