for all so that in by the fundamental theorem of the calculus of variations, proving the equivalence between harmonicity and mean-value property.
for all so that in by the fundamental theorem of the calculus of variations proving the equivalence between harmonicity and mean-value property