The Heine–Cantor Theorem: Proving it for real functions on a bounded interval is messy. But proving it for continuous functions on a compact metric space, is short, neat and easy.


[comment:  doesn't that leave the task of proving a finite interval of the real line is compact?  mathwonk]