Lax-Milgram theorem

A bounded coercive bilinear form $a$ on a Hilbert space $H$ represents every bounded linear functional uniquely: for each $\ell \in H^{\prime }$, there is a unique $u\in H$ with $a(u,v)=\ell (v)$ for every $v\in H$.