Доделана часть 3.1, исправлено оформление и столи теорем