Staudt-clausen theorem