Closed And Bounded Implies Compact