The Lagrange multiplier and the stationary Stokes equations

We briefly discuss the notion of the Lagrange multiplier for a linear constraint in the Hilbert space setting, and we prove that the pressure $p$ appearing in the stationary Stokes equations is the Lagrange multiplier of the constraint $mathrm{div}, u =0$.