Action of Inverse of Group Element

Theorem
Let $\struct {G, \circ}$ be a group.

Let $S$ be a sets.

Let $*: G \times S \to S$ be a group action.

Then:
 * $g * a = b \iff g^{-1} * b = a$

Proof
and: