A proof using the coupling method, say the coupling proof of the convergence theorem of finite-state Markov chains. See Lindvall's beautiful book for other examples.

The proof of existence of phase transition for the percolation model in two dimension is simple and elementary (sub-additivity + counting + coupling), but the conclusion is quite exciting.