16IfLisaseparableeldextensionofKthenL KKp1isaeldfurtherifLisalgebraicoverKthenL KKp1isaperfectclosureofLProofSet Lp1andapplythelastcriterionBytheKlineardisjointnessofLandKp1thenatural ID: 425880
16IfLisaseparableeldextensionofK