Mean value property for holomorphic functions
= Mean value property for holomorphic functions
The value of a holomorphic function at the center of a closed disc equals its average around every concentric circle lying in the domain.
The real and imaginary parts are <harmonic functions>, whose mean-value property explains this average identity.