複素係数の1変数代数方程式

z^m＋納j=1→m] a(j) z^(m-j)＝0

の根は |z}≦2max[j] |a(j)|^(1/j) を満たす．