Trivial Ring from Abelian Group

Theorem
Any abelian group $$\left({G, +}\right)$$ may be turned into a trivial ring by defining the ring product as being:


 * $$\forall x, y \in G: x \circ y = e_G$$

Proof
Follows directly from the definition of a trivial ring.