While reading this article, I learned that the original proof of the Abel Ruffini theorem was about 500 pages, which was later condensed to just 6 pages. Immediately after reading this, a question came to my mind:
What are some examples where a very large proof was condensed to a very small size?