つまり、局所体 "k" 上の任意の代数方程式に対して、有限回の四則計算と根号を用いて代数的に根を得ることができる。