  The transformation formula of the Berezin integral holds, in the non-compact
case, only up to boundary integrals, which have recently been quantified by
Alldridge-Hilgert-Palzer. We establish divergence theorems in semi-Riemannian
supergeometry by means of the flow of vector fields and these boundary
integrals, and show how superharmonic functions are related to conserved
quantities. An integration over the supersphere was introduced by Coulembier-De
Bie-Sommen as a generalisation of the Pizzetti integral. In this context, a
mean value theorem for harmonic superfunctions was established. We formulate
this integration along the lines of the general theory and give a superior
proof of two mean value theorems based on our divergence theorem.
