Element Commutes with Square in Group/Proof 2

Proof
By definition, a group is also a semigroup.

Thus the result Element Commutes with Square in Semigroup can be applied.