Định lý Diaconescu