Topological Vector Spaces, V, p. 61
Let E be a real Hilbert space, B a bilinear form on E×E, c1,c2 two numbers >0 such that
∣B(x,y)∣∣B(x,x)∣≤c1∥x∥⋅∥y∥for all x,y in E;≥c2∥x∥2for all x∈E.
Prove that for every continuous linear form f on E, there exists a unique element xf∈E (resp. yf∈E) such that f(x)=B(xf,x) (resp. f(x)=B(x,yf)) for all x∈E.