p193  Spherical Mean-value Theorem for harmonic functions

A proof of the converse 29.5 is not hard: see p26 of L. C. Evans, Partial Differential Equations (AMS, 1998). This page is copied from Applicable Analysis Lecture notes.

We need Green’s formula first: