>>246
解析入門I(杉浦光夫)にも載ってるよ。
第IV章§9定理9.5