There are great theorems w/o short proofs:
(b/c they are deep/don't follow easily from any theory we know)
- classification of surfaces
(I'm trying to give a surgery proof)
- classification of 3-folds
(...but I think the 8 geometries are easy enough?)
- classification of finite simple groups
(indeed, many of these are classification theorems)