  We give a nonstandard analytic proof of de Finetti's theorem for an
exchangeable sequence of Bernoulli random variables. The theorem postulates
that such a sequence is uniquely representable as a mixture of iid sequences of
Bernoulli random variables. We use combinatorial arguments to show that this
probability distribution is induced by a hyperfinite sample mean.
