Không gian vectơ tô pô, V, p. 61
Cho E là một không gian Hilbert thực, B là một dạng song tuyến tính trên E×E, c1,c2 là hai số >0 sao cho
∣B(x,y)∣∣B(x,x)∣≤c1∥x∥⋅∥y∥với mọi x,y trong E;≥c2∥x∥2với mọi x∈E.
Chứng minh rằng với mọi dạng tuyến tính liên tục f trên E, tồn tại một phần tử duy nhất xf∈E (resp. yf∈E) sao cho f(x)=B(xf,x) (resp. f(x)=B(x,yf)) với mọi x∈E.