Existence for Dirichlet–Poisson