The addition of integers is cancellative, i.e. for all integers \(x,y,z\in\mathbb Z\), the following laws (both) are fulfilled:
Left cancellation property: If the equation \(z + x=z + y\) holds, then it implies \(x=y\).
Right cancellation property: If the equation \(x + z=y + z\) holds, then it implies \(x=y\).
Conversely, the equation \(x=y\) implies
for all \(x,y,z\in\mathbb Z\).
Proofs: 1