完全体
完全体上の任意の有限生成体拡大は分離生成される。