 Uniqueness of the infinite percolation cluster

For independent bond percolation on ${\mathbb{Z}}^d$, there is almost surely at most one infinite percolation cluster. Above the percolation critical probability, there is exactly one.