Right Operation is Idempotent

Theorem
The right operation is idempotent:


 * $\forall x: x \rightarrow x = x$

Proof
Immediate from the definition of the right operation.

Also see

 * Left Operation is Idempotent