Rigorous Statistical Mechanics and Related Topics