B-Algebra Identity: 0(0x)=x

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

Then:


 * $\forall x \in X: 0 \circ \left({0 \circ x}\right) = x$

Proof
Let $x \in X$.

Then:

From 0 in B-Algebra is Left Cancellable Element, we conclude:


 * $x = 0 \circ \left({0 \circ x}\right)$

as desired.