、 とする のとき 、 は 有界閉領域 で 級である また、 であるから のとき 原点を中心とする半径 の円を から取り除いた領域を とする また、 : 、 ( : )とすると、 であるから よって ここで であるから 以上より、題意は示された