>>530
自己共役拡大の理論
http://www.math.tsukuba.ac.jp/~isozakih/lecture/Funct.Anal.2.pdf
p7 定理4.1