The Last Aproach to the Settlement of the Jacobian Conjecture
arXiv:math/0307080
Abstract
Let S be a polynomial ring over a field of characteristic zero in finitely may variables. Let T be an unramified, finitely generated extension of S with . Then T = S.
16 pages, Examine the proof(2) in Theorem 2.1