De Finetti’s representation theorem