>>241
Rは加群としてK上有限生成⇒K⊂Rは整拡大
K⊂Rが整拡大 + Kが体⇒Rは体