完全体と可分拡大の間の関係