Kategorie:Theorie des Borel-Lebesgue-Maßes für kompakte Mengen/Beweise