Suppose a function $f(x) = \sum_{n=0}^{\infty} a_n x^n$ with radius $R > 0$ extends analytically to a larger open set $U \supset B(0, R)$ (disk strictly larger than its original disk of convergence). According to analytic continuation theory, which statement is true?