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.