ゼータを編む

Bernoulli数の分母を完全に決定するvon Staudt-Clausenの定理を証明します。