>>439
＞下記、斎藤新悟先生のテキストの
＞”系 1.5 任意の f : [0, 1] ?→ R に対して集合 {x ∈ (0, 1) | f′(x) = ∞} は零集合である．”
＞などは、おっさんの定理に近いかもな（＾＾
＞これに較べれば、”R−Bf が内点を持たない閉集合の高々可算和で被覆できる”（>>303）は、えらく強い条件に見えるけどな（＾＾

ぜんぜん強くない。というか、無関係である。既に書いたことだが、
「集合 A が内点を持たない閉集合の高々可算和で被覆できる」とき、
A のことを第一類集合と呼ぶ。よって、スレ主が言っていることは

「 系 1.5 よりも、"R−Bf は第一類集合である" という条件の方が強く見えるぞ」

ということである。一方で、第一類集合とルベーグ測度の間には、
特別な関係性は無いことが知られている。より具体的に言うと、

・ 第一類集合であって、ルベーグ測度がゼロであるもの・正であるもの、がそれぞれ存在する

ことが知られている。よって、{x ∈ (0, 1) | f′(x) = ∞} がゼロ集合であろうとなかろうと、
"R−Bf は第一類集合である" という条件とは無関係である。

結局、お前のようなゴミクズに新しいキーワードを与えると、このように次から次へと無関係な主張を持ち出して、
「同じ主張だろう」とトンチンカンな発言を連発し出すのである。だから俺は、余計な言葉は使わないのである。
お前にとっては、ディニ微分が「後出しのウソ」に見えるのだろうが、俺は実際に既に知っていたし、
手元にある文献の名前と記載ページも >>424 で明記したし、「スレ主の数々のトンチンカンな行為を踏まえて、
余計な言葉は使わなかった」とも言っているのである。
これだけ明確な理由が揃っていてウソつき呼ばわりされる筋合いは全く無い。