First Power of Element in B-Algebra

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


 * $\forall x \in X: x^{1}=x$

Where $x^{k}$ for $k \in \N_>0$ denotes the $k^{th}$ power of the element $x$.

Proof
Hence the result.