Applying the contravariant Hom functor to gives
The connecting map sends to its pushout of a module extension. Its vanishing means that map extends to . For a hereditary ring, , making the indicated restriction on first extension groups surjective. The covariant variable has its corresponding long exact sequence.
The standard projective resolution of a quiver representation has length one, even for quivers with oriented cycles. Thus every path algebra is a hereditary ring, and higher extension groups vanish. Applying a long exact sequence of Ext groups to gives a surjection , since the next term is zero. This is the hereditary step in the Ringel lemma on bricks.