Лекция 9. Расщепляющаяся короткая точная последовательность в абелевой категории. Лемма о подкове