Cohomology and the normal basis theorem

We use an inverse limit version of Hilbert's theorem 90 to obtain a cohomological proof, based on Galois descent, of Lenstra's version of the normal basis theorem for infinite Galois field extensions.