Power Structure of Group is Semigroup/Proof 2

Proof
By definition a group is also a semigroup.

The result then follows from Power Structure of Semigroup is Semigroup.