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

The Brouwer fixed point theorem might be such an example. With homotopy theory it's easy to prove, but the original proof was "hands on".