“…First, by dimension shift Ext 1 (U ν , U bj ) ∼ = Ext 1 (S ν , S bj ) = 0 for any ν of valency 1, from the quiver. Next, consider Ext 2 (U ν , X), by applying the functor Hom(−, X) to the second exact sequence in (2). We have Hom(S µ , U bj ) = 0 (the socle of U bi is always some S a ), and hence Ext 2 (U ν , X) = 0.…”