Weierstrass 多项式 $h\in{}_{n-1}\mathcal{O}_0[z_n]$ 在 ${}_n\mathcal{O}_0$ 上是可约的当且仅当它在 ${}_{n-1}\mathcal{O}_0[z_n]$ 上是可约的.
Lemma. Weierstrass 多项式 $h\in{}_{n-1}\mathcal{O}_0[z_n]$ 在 ${}_n\mathcal{O}_0$ 上是可约的当且仅当它在 ${}_{n-1}\mathcal{O}_0[z_n]$ 上是可约的.
Lemma. Weierstrass 多项式 $h\in{}_{n-1}\mathcal{O}_0[z_n]$ 在 ${}_n\mathcal{O}_0$ 上是可约的当且仅当它在 ${}_{n-1}\mathcal{O}_0[z_n]$ 上是可约的.