Let be a finite group and be a prime.
Prove that if and is a subgroup of containing then . is the set of Sylow p-subgroups of G.
Write where . Therefore . Since it means where and . But so divides , thus, . We see that is a Sylow subgroup because it has the largest exponent of dividing .