分離拡大の分離拡大は再び分離拡大であるので、''Ksep''の2次以上の有限次分離拡大は存在しないのだ.
のだ