I'm looking for a reference of the following statement (which can easily be proved by Laplace's formula and induction): > Let $R$ be a commutative ring with > identity and let $A$ be an invertible > matrix over $R$. Then there is a > permutation matrix $P$ such that the > diagonal of $PA$ has no zero.