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

Change background