Дорешал наконец "Гомоморфизм", застрял там сначала на перестановках осей 143, 144, а потом, совсем глупо, на 147-149 — пытался почему-то доказать эти утверждения (в основном первое). Остальное пошло быстро.