show/hide this revision's text 1 [made Community Wiki]

The Riesz-Thorin interpolation theorem is an example. As I understand it, the original proof published by Marcel Riesz was rather messy. Thorin found a much simpler proof of the theorem using complex analysis about ten years later.