von Staudt-Clausen theorem (source code)

= von Staudt-Clausen theorem
{c}