求问数学

对于一元 $n$ 次复系数多项式 $f(z)=\sum\limits_{k=0}^na_kz^k\quad(\forall k\in[0,n]\cap\mathbb{Z},a_k\in\mathbb{C})$

已知 $z=z_0$ 是 $f(z)=0$ 的一个复数根，那么一定存在一个一元 $n-1$ 次复系数多项式 $g(z)$ 使得 $f(z)=(z-z_0)g(z)$