Kategorie:Theorie der kompakten Teilmengen in euklidischen Räumen/Beweise