  We show that boundary theory for transient Markov chains, as initiated by
Doob, can be used to prove de Finetti's classical representation result for
exchangeable random sequences. We also include the relevant parts of the
theory, with full proofs.
