Diaconescu-Goodman-Myhill Theorem