Unique continuation for harmonic functions (source code)

= Unique continuation for harmonic functions

A harmonic function on a connected domain that vanishes on a nonempty open subset vanishes everywhere.