This follows from the clausen - Von staudt theorem. See http://www.bernoulli.orG ( structure of the denominator)