>>226
ステップ2:拡大の連鎖

正規系列 G0⊵G1⊵⋯⊵Gm={e} に沿って、体の拡大 K=K0⊆K1⊆⋯⊆Km=L を構築する。
各ステップ Ki+1/Ki は、ステップ1により、べき根の添加(および必要に応じて原始根の添加)で構成できる。
最終的に、L=Km は K から有限回のべき根の添加で得られる。