closed and bounded implies compact - Search