Text this: The open mapping and closed graph theorems in topological vectors spaces.