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.