证明准紧集的闭包是紧集