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.