On Dibag's generalisation of von Staudt's theorem (Q810559)

\textit{I. Dibag} [J. Algebra 125, 519-523 (1989; Zbl 0683.10014)] considered for a set S of primes the series \(L_ S(x)=\sum_{n}(- 1)^{n-1}x^ n/n,\) where n is the positive integer whose prime factors belong to S, and he defined the rational numbers \(b_ n\) by the identity \(x/L_ S^{-1}(x)=\sum^{\infty}_{n=0}b_ n(x^ n/n!).\) \((L_ S^{-1}(x)\) means the functional inverse of \(L_ S(x).)\) He proved (Theorem 1.14) \(b_{2n}=-\sum_{p}1/p\) ((p-1)\(| 2n\), \(p\in S)\) (mod \({\mathbb{Z}})\), which may be formulated as \(pb_{2n}\equiv -1((mod p{\mathbb{Z}}_{(p)})\) if \(p\in S,)\) (p-1)\(| 2n\). \(({\mathbb{Z}}_{(p)}\) denotes the ring of p-local integers.) In this article the author by means of a statement of his [Trans. Am. Math. Soc. 315, 591-603 (1989; Zbl 0683.10013)] proves (Theorem 1): ``Suppose that n is an even, positive integer and p is a prime such that \(p-1\) divides n. If \(p\in S\) then \[ pb_ n\equiv p-1 mod p^{1+\nu_ p(n)}{\mathbb{Z}}_{(p)},\text{ otherwise } b_ n\equiv 0\mod p^{\nu_ p(n)}{\mathbb{Z}}_{(p)}.'' \] Here \(\nu_ p(n)\) denotes the exponent of p in n. Note that in case S is the set of all primes, \(b_ n\) is the ordinary Bernoulli number and the mentioned Dibag's assertion gives the von Staudt-Clausen Theorem.