https://en.wikipedia.org/wiki/Identity_theorem
It seems pretty amazing to me that two functions that agree on any single subset of the domain that contains an accumulation point must agree on the whole domain.
What is it about being a holomorphic function makes its global behavior so fiercly dependent on its local behavior?