>>368

つづき

（>>13より）
「系1.8 有理数の点で不連続, 無理数の点で微分可能となるf : R → R は存在しない」
だったから
これは、（上記）書き直した定理1.7の（B）の場合の
（B）「リプシッツ連続でない点が、内点を持たない閉集合の高々可算和で被覆でき かつ R中稠密な場合、
　それ以外の点でリプシッツ連続となるf : R → R は存在しない」
となって、これはまさに系1.8の拡張になっているので、定理1.7（B）より直ちに系1.8が出る

ただ、ID:2tWO+ewoさん（>>363）は、それをしたくないんだ
多分、定理1.7（B）の証明を厚くかくと、上記の
”THEOREM:
g fails to satisfy a pointwise Lipschitz
condition, a pointwise Holder condition,
or even any specified pointwise modulus of
continuity condition on a co-meager set.
(Each co-meager set has c points in every interval.）”
と同じ程度のボリュームの証明になるだろうと分っているんじゃないかな？（＾＾；
（ID:2tWO+ewoさんは、実力あるからね）

以上