Write the holomorphic function as . Analyticity gives smooth real and imaginary parts satisfying the Cauchy-Riemann equations , . Differentiating these identities shows
Thus both parts are harmonic functions. The product rule then gives
Since , this proves the Laplacian identity for the squared modulus of a holomorphic function,