I think the best approach here is just tedious but routine diagram chasing. Suppose that Then
(3) because is injective,
(4) for some , and
(5) for some ,
(6) for some because is surjective,
Thus . This shows that . The reverse inclusion would be proved in a similar way.