Inverse of Inverse Relation

Theorem
The inverse of an inverse relation is the relation itself:


 * $\paren {\RR^{-1} }^{-1} = \RR$