>>94
ありがとう。
領域で自乗可積分正則関数全体の空間がヒルベルト空間になる別証明ができる。