An analysis of the finite element method using Lagrange multipliers for the stationary Stokes equations