Complex addition


THEOREM   

Complex addition is commutative.

$$\forall x,y \in \mathbb{C} : x + y = y + x$$

Proof available

THEOREM   

Complex addition is associative.

Proof available

LEMMA   

\(0 + 0i\) is a left-identity element of complex addition.

Proof available

LEMMA   

\(0 + 0i\) is a right-identity element of complex addition.

Proof available

THEOREM   

\(0 + 0i\) is the identity element of complex addition.

Proof unavailable