>>812に追加.

(5) f’(0) が存在 ⇒ f’(x) が有界 ( |f’(x)|≦M )