Does anyone know a reference for the proof of the finite generation of the Mordell-Weil group over finitely generated fields?



finite generation of the Mordell-Weil group over finitely generated fields
It is in Lang's book "Fundamentals of diophantine geometry", chapter 6:
[google book preview](http://books.google.co.uk/books?id=ShRel9iqsmUC&lpg=PA138&dq=lang%2520serge%2520mordell-weil%2520finitely&pg=PA138#v=onepage&q&f=false)


