힐베르트 공간
If is a Hilbert space, the Hilbert space has a (unique) predual formula_13,