Having nothing better to do, I tried multiplying different (but mostly small) permutation matrices with themselves, and so far at some point I'd always run into an identity matrix. Was I just "luc...| Mathematics Stack Exchange
