The Banach open mapping theorem: if a bounded linear map between Banach spaces is onto, then any point has a preimage with controlled norm.

The Banach open mapping theorem: a surjective bounded linear map between Banach spaces is open.

If a bounded linear map is a bijection, then its inverse is also a bounded linear map.