Trivial Ring from Abelian Group

Theorem
Any abelian group $\struct {G, +}$ may be turned into a trivial ring by defining the ring product to be:


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

Proof
Follows directly from the definition of a trivial ring.