big list wanted

list of instances of major proof-simplifications, for example Konig’s proof of the Schroeder-Bernstein Theorem.
(cf: “It is my experience that proofs involving matrices can be shortened by 50% if one throws the matrices out.” — E. Artin (Geometric Algebra, p. 14))
keywords: Mathematics, Logic