>>32 補足

まあ、言いたかったことは・・

>>26で１）の場合については、補集合が「R中稠密でない」から、
ディリクレ関数の変形で、基本は無理数点でｆ＝０で、有理数の適当に好きな数を選んで、稠密にならないようにｆ＝１にして、他の有理数をｆ＝０にしておく。

選んだ数と数の隙間が、性質G“Bf :={x ∈ R ｜ lim sup y→x ｜（f(y) − f(x)）/（y − x）｜< +∞ }”を満たす
（∵その隙間ではｆ≡０だから、lim sup y→x ｜（f(y) − f(x)）/（y − x）｜≡０ < +∞ は、明白で証明の必要もない ）

逆に、「証明しました」というのも、おかしな話ということになる
上記の様に、人為的に任意の区間に不連続点を選べるから、言えるのは「不連続点と不連続点の隙間の区間が連続だ！」ということだけだし、それで尽くされている

と