[derkha]

To clarify Bahamut's point: The functions must be analytic - https://en.wikipedia.org/wiki/Analytic_continuation#Initial_.... Regardless of the actual value of foo, at least one of g or h won't be differentiable at foo, so they can't both be analytic (assuming you choose some open superset of N u {foo}, otherwise the theorem breaks down even sooner).