A theorem in combinatorial matrix theory