Book:Donald E. Knuth/The Art of Computer Programming: Volume 1: Fundamental Algorithms/Third Edition/Errata

Errata for 1997: Donald E. Knuth: The Art of Computer Programming: Volume 1: Fundamental Algorithms (3rd ed.)

Hurwitz's Generalisation of Binomial Theorem

$2.3.4.4.$ Enumeration of Trees: Exercise $30$: Solution

Use this to prove Hurwitz' generalization of the binomial theorem:

$\ds \sum x \paren {x + \epsilon_1 z_1 + \cdots + \epsilon_n z_n}^{\epsilon_1 + \cdots + \epsilon_n - 1} y \paren {y + \paren {1 - \epsilon_1} z_1 - \cdots + \paren {1 - \epsilon_n} z_n}^{n - \epsilon_1 - \cdots - \epsilon_n} = \paren {x + y} \paren {x + y + z_1 + \cdots + z_n}^{n - 1}$