The Weak Formulation of Elliptic PDEs: Poincaré, Lax-Milgram, and Solvability