Total boundedness and the axiom of choice
scientific article; zbMATH DE number 6641500