Element Commutes with Square in Semigroup

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

Let $x \in S$.

Then $x$ commutes with $x \circ x$.

Proof
is taken for granted.