Subgroup of Abelian Group is Normal

Theorem
Every subgroup of an abelian group is normal.

Proof
Let $G$ be an abelian group.

Let $H \le G$ be a subgroup of $G$.

Then for all $a \in G$: