Cancellation Law for Ring Product of Integral Domain

Theorem
Let $\left({D, +, \circ}\right)$ be an integral domain whose zero is $0_D$.

Let $D^*$ denote $D \setminus \left\{{0_D}\right\}$, that is, $D$ without its zero.

Let $a \in D^*$.

Then:


 * $\forall x, y \in D: a \circ x = a \circ y \implies x = y$

That is, all elements of $D^*$ are cancellable for the ring product.

Proof
From the definition of integral domain, no elements of $D^*$ are zero divisors.

From Ring Element Zero Divisor iff Not Cancellable, it follows that all elements of $D^*$ are cancellable for the ring product $\circ$.