系1.8については、別の理論で証明されています。それは既述の通りです。多分、ここは合意でしょう。
そして、背理法は系1.8の部分です。
問題は、定理1.7です。
ここは、背理法以前です。
定理1.7で、上記>>240 ２）の場合について、
命題P’2：「R−Bf：RにおけるBfの補集合で、ベールの第一類集合で、R中稠密である、とする。」
が、本当に空集合になるのかどうか？ それは知りません
おそらく、空ではなく、反例として存在するのではないかと思っています
まあ、普通の連続・不連続で、R中の部分集合として連続がFσ、不連続がGδとして存在するの類似かな？と
つまり、「Bf :={x ∈ R ｜ lim sup y→x ｜（f(y) − f(x)）/（y − x）｜< +∞ }」が連続に相当しFσ
補集合 R−Bf が、不連続に相当しGδだろうと
残念ながら、そういう理論の論文は見つかりませんでした
そして、これも残念ながら、リプシッツ連続や上記のBfと R−Bf とについて
「Fσ vs Gδ」理論を構築するような”かしこい頭”は、私にはありません（＾＾
どなたか、これに関する文献などあれば、ご紹介ください
「そんなこと簡単にできるよ」と、どなたか実行して頂ければ、さらに幸甚です（＾＾
以上
追伸
命題の仮定と結論レベルで矛盾している定理を、「証明しました」というのは、普通は「？」ですよ
