The first version was proved for the Ising model by T. D. Lee and C. N. Yang (1952) (Lee & Yang 1952).
この最初のバージョンは、イジングモデルに対して、李政道(T. D. Lee)と楊振寧(C. N. Yang) (Lee & Yang 1952)により証明された。