Rigorous Statistical Mechanics and  Related Topics