On the uniqueness of the infinite cluster in the percolation model

We simplify the recent proof by Aizenman, Kesten and Newman of the uniqueness of the infinite open cluster in the percolation model. Our new proof is more suitable for generalization in the direction of percolation-type processes with dependent site variables.