Compact Is Closed And Bounded