Adding Diaconescu theorem