Polynomial Addition is Commutative

Theorem
Addition of polynomials is commutative.

Proof
Let $\left({R, +, \circ}\right)$ be a commutative ring with unity with zero $0_R$.

Let $\left\{{X_j: j \in J}\right\}$ be a set of indeterminates.

Let $Z$ be the set of all multiindices indexed by $\left\{{X_j: j \in J}\right\}$.

Let:


 * $\displaystyle f = \sum_{k \mathop \in Z} a_k \mathbf X^k$


 * $\displaystyle g = \sum_{k \mathop \in Z} b_k \mathbf X^k$

be arbitrary polynomials in the indeterminates $\left\{{X_j: j  \in J}\right\}$ over $R$.

Then:

So $f + g = g + f$ for all polynomials $f$ and $g$.

Therefore polynomial addition is commutative.