Diaconescu's_theorem