Inf-sup theory for the quasi-static Biot's equations in poroelasticity.