>>105
それも散々指摘されていたと思いますが
微分可能点全体の補集合が非可算であり
可算この疎な閉集合で覆えませんので
件の定理は使えないのです