Staudt-Clausen theorem