This follows from the clausen - Von staudt theorem. See http://www.bernoulli.orG ( structure of the denominator)
Igor Rivin
- 96.4k
- 11
- 153
- 366