闭值域定理

closed range theorem