Left identity element


THEOREM   

Zero is a left identity element of natural number addition.

$$\forall x \in \mathbb{N} : 0 + x = x$$

Proof available

THEOREM   

One is a left identity element of natural number multiplication.

$$\forall x \in \mathbb{N} : 1 * x = x$$

Proof available