>>20 つづき

それで

命題A
f：R → R であって、「xが有理数のとき不連続、xが無理数のとき微分可能」
となるものは存在しない
　↓
命題B
f：R → R であって、「xがリプシッツ”不”連続な点が加算無限個で稠密に存在し、xがそれ以外でリプシッツ連続な」
となるものは存在しない

つまり、命題A→命題Bの言い換え

・有理数→加算で稠密に存在する点
・不連続→リプシッツ”不”連続
・微分可能→リプシッツ連続

ここまで、命題Aを一般化した命題Bを証明したことになる
>>20の定理が成立するならば・・

いや〜、面白ね（＾＾