Question:
Sylow's theorem
Prove the following generalization of the last Sylow's theorem: If |G| is divisible by p^b, and H <= G has order p^a with a <= b, then the number of subgroups of G that both contain H and have order p^b is congruent to 1 modulo p?