>>145 補足

１．私は、このスレに書かれた証明は読まない主義。読みにくくてしようがないし、PDFなど公開資料があれば、それを読みたいのでね
２．今回も、PDFにしてもらってよかった。このスレに直書きでは、何スレにもわたって読めたものじゃない
３．素人証明に、うっかり乗らないというのも、私の主義でね
４．この定理1.7 (422 に書いた定理)の証明を書いた人の実力は認めるけれども
　　「無理数で可微分有理数でリプシッツ不連続な関数は存在しないという結論を導けます」と
　　定理1.7 の系として
　　そして、この命題は、ネット検索ではまだ見つからないので、初出かもしれない
　　（系1.8の「無理数で可微分、有理数で不連続な関数は存在しない」は、既出だが）
　　ならば、ますます、うっかり乗れないと（すらーと読んで正しいと言ったとたんに、うっちゃりになりかねない）
５．なので、パブリックコメントを募集します。特に、大学教員レベルの情報（成立・不成立）があれば、ありがたい（＾＾