/sci/ - Science & Math

How does [math]KL/L[/math] separable follow from [math]K/F[/math] separable? Yes, every polynomial over [math]F[/math] must be separable when considered over [math]L[/math], but what about polynomials in [math]L[x][/math]? It doesn't seem like a valid proof.