# Left Operation is Idempotent

## Theorem

The left operation is idempotent:

$\forall x: x \leftarrow x = x$

## Proof

Immediate from the definition of the left operation.

$\blacksquare$