Theorem from the paper: J. F. Ritt, "Permutable rational functions," Transactions of the American Mathematical Society 25 (1923) 399-448.