Xがヒルベルト空間Hの閉部分空間のとき、
Xの直交補空間の直交補空間はXであることを示せ。