A (possibly infinite) algebraic extension E of a field F is a separable extension of F if for every α ∈ E, F(α)
is a separable extension of F, in the sense defined in the text. Show that if E is a (possibly infinite) separable
extension of F and K is a (possibly infinite) separable extension of E, then K is a separable extension of F.