Element Commutes with Product of Commuting Elements

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

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

Let $x$ commute with both $y$ and $z$.

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