Endomorphism Ring of Abelian Group is Ring with Unity

Theorem
Let $(G,+)$ be an abelian group.

Let $(\operatorname{End}(G),+,\circ)$ be its endomorphism ring.

Then $(\operatorname{End}(G),+,\circ)$ is a ring with unity $\operatorname{id}_G$.