Galerkin approximation and the strong solution of the Navier-Stokes equation. (2000)