Thanks to (1.1), the bilinear form on X×X at the left hand side is bounded, symmetric, and elliptic, and the right-hand side defines a bounded functional on X . From the Lax-Milgram lemma, we conclude that (1.2), and so the least-squares problem, has a unique solution u∈X that depends continuously on f ∈Y ′. Whenever the equation Gu= f has a solution, i.e., f ∈IG (consistency), it is the unique...