 Harris-Kesten theorem

The percolation critical probability of independent bond percolation on the square lattice is $1/2$.