Diaconescu's Theorem