Displaying similar documents to “The precompactness–lemma”