I was guided by the desire to prove, as simply as possible, that, like systems of n linear algebraic equations in n unknowns, the solvability of basic boundary value (and initial-boundary value) problems for partial differential equations is a consequence of the uniqueness theorems in a "sufficiently large" function space.