Proof in the case ex(X) = e¯ x(X) = 2, II: Separable Residue Extensions

Abstract

In this chapter we prove Theorem 13.7 below, which implies Key Theorem 6.40 under the assumption that the residue fields of the initial points of Xn are separably algebraic over that of X1. The proof is divided into two steps.