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$ denotes the $k$th power of the element $x$.

Proof
Hence the result.