史特拉斯曼定理

令 为完备非阿基米德赋值 域，赋值环 为 ，并令 为系数在 中的 幂级数。假设至少有一个系数是非零的（因此 不是恒等零），并且系数序列关于 收敛到 0。那么 在 中只有有限多个零点。