Open mapping and closed graph theorems; completeness Topological linear spaces mathematics