Poisson uniqueness with a nonnegative Robin normal coefficient

On a bounded region, two sufficiently regular solutions of the Poisson equation with the same forcing and boundary condition $\alpha {\partial }_n\varphi +\varphi =\gamma$, where $\alpha \ge 0$, have harmonic difference $w$. Green's first identity gives $\int |\nabla w{|}^2={\int }_{\partial V}w{\partial }_{n}w=-{\int }_{\partial V}\alpha ({\partial }_{n}w{)}^2\le 0$. Hence $w$ is constant on each component, and the boundary condition makes that constant zero. The proof never divides by $\alpha$, so it includes variable coefficients and Dirichlet portions where $\alpha =0$.