Stav dette: Lectures on choquet's theorem