The left and right class are orthogonal (denoted \(\cal L \perp R\)), meaning every square as below (left side is left, right side is right) has a unique diagonal fill-in:

Proof. We factor the top and bottom morphism, and get a unique isomorphism between the respective images. The red composite is the sought diagonal fill-in, and it is unique because each of its component is unique: