It is my experience that proofs involving matrices can be shortened by 50% if one throws the matrices out. — Emil Artin Copy Share Image
