prove a set is compact - Search