The existence and uniqueness theorem in Biot's consolidation theory