Goodman-Myhill Theorem