Complex Numbers under Addition form Infinite Abelian Group

Theorem
Let $$\C$$ be the set of complex numbers.

The structure $$\left({\C, +}\right)$$ is an infinite abelian group.

Proof
Taking the group axioms in turn:

G0: Closure
Complex Addition is Closed.

G1: Associativity
Complex Addition is Associative.

G2: Identity
The identity element of $$\left({\C, +}\right)$$ is the complex number $$0 + 0 \imath$$:

We have $$\left({x + \imath y}\right) + \left({0 + 0 \imath}\right) = \left({x + 0}\right) + \imath \left({y + 0}\right) = x + \imath y$$.

Similarly for $$\left({0 + 0 \imath}\right) + \left({x + \imath y}\right)$$.

G3: Inverses
The inverse of $$x + \imath y \in \left({\C, +}\right)$$ is $$-x - \imath y$$:

We have $$\left({x + \imath y}\right) + \left({-x - \imath y}\right) = \left({x - x}\right) + \imath \left({y - y}\right) = 0 + 0 \imath$$.

Similarly for $$\left({-x - \imath y}\right) + \left({x + \imath y}\right)$$.

C: Commutativity
Complex Addition is Commutative.

Infinite
Complex Numbers are Infinite.