あと、別に「連続微分可能」であることは仮定していない。
・微分可能(a以外の点で)である
・α＝lim[x→a]f ' (x)が存在する
の2つを仮定しているだけ。