Babuška-Lax-Milgram theorem
 
x
OK