STATISTICAL MECHANICS RIGOROUS RESULT - Ruelle, David (W.A. Benjamin, Inc., 1969)