B-Algebra is Left Cancellable

Theorem
Let $\left({X, \circ}\right)$ be a B-algebra.

Then $\circ$ is a left cancellable operation.

Proof
Let $x, y, z \in X$:

Hence the result.