Mathematics
The Sylow Theorems and the Classification of Finite Groups
Quick fact
The Sylow theorems guarantee that every finite group has a subgroup whose size is the largest power of a prime dividing the group's order, and all such subgroups are conjugate to each other. This seemingly simple fact is a cornerstone of finite group classification.
Why this is interesting
You might know that a group is a set with a structure, but how can we break a finite group into predictable, prime-sized pieces? The Sylow theorems reveal a hidden order that governs every finite group.