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

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

Then:


 * $\forall x \in X: 0 \circ \paren {0 \circ x} = x$

Proof
Let $x \in X$.

Then: