The Local Uniformisation Theorem was proved by O. Zariski [5] in 1940, and, for the general case, it is so far the only existing proof of the theorem.

Let V be an irreducible manifold defined over a ground field of characteristic zero, and let Σ be its function field. Suppose V lies in an affine space An, and D is any subvariety of V not at infinity. Let J be the integral domain of V and ρ be the prime ideal in J defining D. Then we denote the quotient ring of D by Q(D|V), and by this we shall mean the quotient ring Jρ [1; p. 99]. Thus when we deal with subvarieties of two birationally equivalent manifolds V and V', then the quotient rings will always be subrings of the same representation of the function field of V and V'. Let B be any valuation of Σ whose centre on V is C. The Local Uniformisation Theorem states that there exists a birational transform V' of V such that the centre C' of B on V' is simple and Q(C/V) ⊆Q(C'/V').