Powers of Semigroup Element Commute

Theorem
Let $\struct {S, \odot}$ be a semigroup.

Let $a \in S$.

Let $m, n \in \Z_{>0}$.

Then:
 * $\forall m, n \in \Z_{>0}: a^n \odot a^m = a^m \odot a^n$