On the compactness of a nonlinear operator related to stream function-vorticity formulation for the Navier-Stokes equations.