A note on the numerators of the Bernoulli numbers (Q1174221)

This note mentions another proof of a theorem of von Staudt (1845): ``If \(k\) is even \(\geq2\), \(p\) a prime with \((p-1)\dag k\) and \(p^ r\mid k\), then \(p^ r\mid N_ k\)'', where \(N_ k\) designates the numerator of the Bernoulli number \(B_ k\). Recently, \textit{K. Girstmair} [Am. Math. Mon. 97, 136-138 (1990; see the preceding review)] has given a new proof, too. The author's proof makes use of a p-adic version of the mean value theorem.