Lee-Yang, Circle Theorem, Asano contraction