Solution (source code)

= Solution

Apply the weak <weak maximum principle for elliptic operators> to the <harmonic function> $\phi$ and to $-\phi$. Their boundary maxima are both zero, giving $\phi\leq0$ and $\phi\geq0$ on the closure. Consequently \b[$\phi\equiv0$].