Closed_range_theorem loading ...