K karakteristiği p>0 olan bir cisim L/K bir genişleme ve Kp∞ de K cismine 1'in bütün pninci köklerinin eklenmesiyle elde edilen cisim olsun. Bu durumda aşağıdaki önermeler birbirine denktir:
1- L/K ayrılabilir bir genişlemedir;
2- L⊗KKp∞ halkasının sıfırgüçlü (nilpotent) elemanı yoktur.