溝畑の数学解析と、シュバルツ解析学（何冊もあるやつ）では、
C^1級な境界をもった領域で証明してた記憶あり。