Element Commutes with Product of Commuting Elements

Theorem
Let $(S, \circ)$ be a semigroup.

Let $x, y, z \in S$.

If $x$ commutes with both $y$ and $z$, then $x$ commutes with $y \circ z$.