Product Inverse Operation Properties/Lemma 5

Theorem
Let $\struct {G, \oplus}$ be a closed algebraic structure on which the following properties hold:

Let $\circ$ be the operation on $G$ defined as:
 * $\forall x, y \in G: x \circ y = x \oplus \paren {e \oplus y}$

Then:
 * $\forall x, y \in G: \paren {x \circ y} \oplus y = x$