the theorem that, for a finite group of order a mutiple of 𝑝ⁿ, there exist Sylow 𝑝-subgroups of order 𝑝ⁿ (all of whom are conjugate), whose number equals the index of the normalizer of any such subgroup
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).