сам вчитался и нашел
лемма 3.5
более-менее утверждает, что если обьект абелевой категории можно двумя способами разбить в прямую сумму, и у этих сумм изоморфны первые слагаемые, то изоморфны и вторые

(Reply to this) (Parent)