Translation ergodicity of Bernoulli percolation
= Translation ergodicity of Bernoulli percolation
The independent edge law of <bond percolation> on $\mathbb Z^d$ is ergodic under lattice translations: every translation-invariant event has probability zero or one.