Functional analysis: the open mapping theorem.