Von Staudt-Clausen theorem