>>152 補足

証明についてでなくとも
「無理数で可微分、有理数でリプシッツ不連続な関数は存在しないという結論」について
正しいかどうかと、既出か初出か
そういう情報を、希望します（＾＾