Maybe a stretch, but...
Finiteness of the class number via Minkowski's theorem.
- Everyone should at least have a rough idea what the class number is.
- Minkowski's theorem has other amusing and useful applications (e.g. well-definedness of the signature?)
- One of the first (of many) interesting theorems involving the geometry of lattices.
