Stav dette: Choquet theorem and its applications