已知K/I是有限扩张，并且不是单扩张，J是I在K中的分离闭包，也就是说J是所有K中在I上可分的元素构成的K的子域
求证K/J不是单扩张
这应该是一个很简单的真命题……但是怎么都想不出如何证明，求教