In this paper, we propose a condition that can guarantee the lower
bound property of the discrete eigenvalue produced by the finite element
method for the Stokes operator. We check and prove this condition
for four nonconforming methods and one conforming method.
Hence they produce eigenvalues which are smaller than their exact