史特拉斯曼定理

令 為完備非阿基米德賦值 域，賦值環 為 ，並令 為係數在 中的 冪級數。假設至少有一個係數是非零的（因此 不是恆等零），並且係數序列關於 收斂到 0。那麼 在 中只有有限多個零點。