Diaconescu theorem