완전체와 분리확장의 관계