B-Algebra is Left Cancellable

Theorem
Let $\struct {X, \circ}$ be a $B$-algebra.

Then $\circ$ is a left cancellable operation.

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

Hence the result.