设E是Hilbert空间H的线性子空间 f是E上的有界线性泛函．证明f有且只有一个到H上的保范延拓

设E是Hilbert空间H的线性子空间，f是E上的有界线性泛函．证明f有且只有一个到H上的保范延拓，使得这个延拓在E^⊥上为零．