>>735
Xの定義はC^1級の部分空間じゃないの？
U_nがXに属するんじゃなくて∂UnがXに属するん？
じゃあXの各要素Sに対して∂Un=SとなるUnをとってその支持関数の全変動取るん？
それが元のSの面積で評価できるって事？
そんなの説明も無しに言われたって知ってるわけないやん？
もちろんWikiレベルにも載ってないし
何に載ってるの？
それそんな簡単に示せることなん？