Lax–Milgram lemma