Exercise 8, § 2

Show that, for every prime number $p > 3$, $S_{2n}(p^k) - p^k b_{2n}$, written as an irreducible fraction, has a numerator divisible by $p^{2k}$ (argue as in exerc. 6).