# 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