If an arrow map failed to have maximal matrix rank, it would have both a nonzero kernel of a linear map and a nonzero cokernel. Apply the preceding obstruction with . It would give , contrary to the assumption. Therefore every arrow map is injective or surjective, equivalently its rank is the minimum of the two vertex dimensions. This is a necessary property of a rigid quiver representation.