Free Commutative Monoid is Commutative Monoid

Theorem
The free commutative monoid on a set $$\{X_j:j\in J\}$$ is a commutative monoid