（P.150, P.153） 定理 9.1 （基本定理） 重根を持たない 次多項式 に対して，その根 の入れ換えのなす群 であって，次の性質をみたすものがただ１つ存在する： (1) の2つの式が同じ値を定めるならば， の各元で根を入れ換えても2式の値は等しい．すなわち，…