  Two decades ago, Chauve, Dulucq and Guibert showed that the number of rooted
trees on the vertex set $[n+1]$ in which exactly $k$ children of the root are
lower-numbered than the root is $\binom{n}{k} \, n^{n-k}$. Here I give a
simpler proof of this result.
