moved Diaconescu's Thm to separate file