Ising model
Before prove of the irreducibility in 1-dimensional Ising model, we present two lemma below: