2 Quotes by Emil Artin

This skipping is another important point. It should be done whenever a proof seems too hard or whenever a theorem or a whole paragraph does not appeal to the reader. In most cases he will be able to go on and later he may return to the parts which he skipped.

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