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