Talk:Zeroes of Analytic Function are Isolated

So let $k$ be the least number such that $a_j = 0$ for $0 \le j < k$, and $a_k \ne 0$.
This assumes that not all $a_j$ are 0, right? Would it be reasonable to add a note explicitly stating that if all $a_j$ are 0, then $f$ must be a constant function (which is one of the results of the theorem)? --Aaron1011 (talk) 19:57, 4 November 2021 (UTC)