 Weyl's lemma (Laplace equation)

Weyl's lemma is a result in the theory of partial differential equations, particularly concerning solutions to the Laplace equation. The lemma states that if a function \( u \) is harmonic (i.e.