Compare to the coefficients of tn in both side of the identity. We obtain n!
from the left-hand side of the identity by Lemma ?? and Lemma ??. On the
other hand, the coefficient of tn in the right-hand side is the sum of all terms
with tn, which is written by