>>588
こう書くべきでしたか?

件の定理は無理数で可微分有理数でリプシッツ不連続な関数は存在しないという結論を導いていますよ