有限可分拡大の核的性質