Sylow’s third theoremLet G be a finite group, and let n be the number of Sylowp-subgroups of G. Then n≡1(modp), and anytwo Sylow p-subgroups of G are conjugate to one another.