Exercise 8, § 2

Now prove that, for every prime number $p > 3$, $S_{2n}(p^k) - p^k b_{2n}$, put in the form of an irreducible fraction, has a numerator divisible by $p^{2k}$ (reason as in Exercise 6).