Solution (source code)

= Solution

The <binomial theorem> assigns <binomial coefficient> $\binom93$ to $x^3$. Since $\binom93=9\cdot8\cdot7/(3\cdot2\cdot1)=84$, the requested term is \b[$84x^3$].