"It is my experience that proofs involving matrices can be shortened by 50% if one throws the matrices out."
...
