设 $h\in{}_{n-1}\mathcal{O}_0[z_n]$ 是 $k$ 阶 Weierstrass 多项式
设 $h\in{}_{n-1}\mathcal{O}_0[z_n]$ 是 $k$ 阶 Weierstrass 多项式, 则对任意 $f\in{}_n\mathcal{O}_0$, 有
\[
f=gh+r,\quad g\in{}_n\mathcal{O}_0,\quad r\in{}_{n-1}\mathcal{O}_0[z_n]
\]
其中 $r$ 是阶数小于等于 $k-1$ 的关于 $z_n$ 的多项式.