Theorem. Identity Theorem [rmsf-2100][edit]

$\gdef\CC{\mathbb{C}}$

Let $D$ be an open disk in $\CC$. Suppose give two holomorphic functions $f,g: D \to \CC$, which agree on some smaller open disk $D' \subset D$. Then $f = g$ on all of $D$.

There is an extension of this theorem, where $D$ is replaced by a more general open subset of $\CC$. The relevant notion is connectedness.