Natural number subtraction


THEOREM    \(\forall x,y,z \in \mathbb{N} : x(y - z) = xy - xz\)

Proof unavailable

THEOREM    \(\forall x,y,z \in \mathbb{N} : (y - z)x = yx - zx\)

Proof unavailable