代数的閉体
↑ それぞれの場合に多項式 1 + ∏a ∈ Fq (X − a), X − 2, X + 1 が根を持たないから。
↑ Steinitz 1910.