Integer addition


THEOREM   

Integer addition is closed.

Proof available

THEOREM   

Integer addition is left-cancellative.

$$\forall a,b,c \in \mathbb{Z} : a + b = a + c \Rightarrow b = c$$

Proof available

THEOREM   

Integer addition is right-cancellative.

$$\forall a,b,c \in \mathbb{Z} : a + b = a + c \Rightarrow b = c$$

Proof available