Integer multiplication


THEOREM   

Integer multiplication is closed.

ProofWiki

Proof available

THEOREM    \(\forall a,b,c \in \mathbb{Z} : ac = bc \Leftrightarrow c = 0 \vee a = b\)

Proof unavailable

THEOREM    \(\forall a,b,c \in \mathbb{Z} : ca = cb \Leftrightarrow c = 0 \vee a = b\)

Proof unavailable