>>351
定理２３はある導関数の不連続点は第一種にはならないということを言っている
とありますが、定理２３にｆ´（ｘ）はｘ＝ａにおいても連続で・・・とある
ので、ｘ＝ａにおいて不連続だとは言えないと思うのですが、どうでしょうか？