Right Operation is Associative

Theorem
The right operation is associative:


 * $\forall x, y, z: \paren {x \rightarrow y} \rightarrow z = x \rightarrow \paren {y \rightarrow z}$

Also see

 * Left Operation is Associative