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