STATISTICAL MECHANICS: RIGOROUS RESULTS