The Multinomial Theorem

[@pioneeringproofs]

Sorry folks, it looks like I made a small mistake. When tracing a path to a string of variables (like xzzy), the second to last line should consist of powers raised to 1, not 2. Also, to clarify, when we expand, we apply Rule 2 iteratively until we reach the non-expandable terms, as illustrated in Rule 3