>>556-562

わけわかんねー

数学には誹謗中傷もくそもないよ
文系<数学ディベート>(>>8)かい?

いいか、おれは、あんたの定理を認めないと言っているだけのこと。

で、あんたの定理にプロのお墨付きがつけば、赤っ恥をかくのは私の方だよ!
だから、あなたのベストは、あんたの定理にプロのお墨付きを、もらうことだろ(さらにはあなたが論文投稿できれば、なお良いだろ?)

それから、反例の原典に当たったと言うけれど、おれの言っている原典は、単に下記URLを覗くだけじゃなく、その元の引用文献に当たれってことだ!
例えば、下記[4][13]や、 H. M. Sengupta and B. K. Lahiri, "A note on derivatives of a function",Bulletin of the Calcutta Mathematical Society 49 (1957)

それに、[15] や、Edward Maurice Beesley, Anthony Perry Morse, and Donald Chesley Pfaff, "Lipschitzian points", American Mathematical Monthly 79 #6 (June/July 1972)
くらいは、これは見とかないとね

(例えば、”(p. 373) "We omit the proof, because it is rather lengthy, and one would hope to generalize the theorem by replacing the rationals by an arbitrary dense set, and possibly to show that the set of points at which g fails to be Lipschitzian is a residual set."

NOTE: Sengupta/Lahiri had essentially obtained this result in 1957 (the points of discontinuity have to form an F_sigma set, however). See my remark in [13] above.
This result is also proved in Gerald Arthur Heuer, "A property of functions discontinuous on a dense set", American Mathematical Monthly 73 #4 (April 1966), ”とかに関連した部分など。
あんたみたく、簡単に証明できるというなら、Heuer先生"We omit the proof, because it is rather lengthy”とは書かないだろう・・)

つづく