Lax-Milgram Existence for Coercive Elliptic Problems