>>505
ソボレフの補題より、測度0の点を補正すれば無眼回微分可能では?