Inverse Mapping is Unique

Theorem
Let $f: S \to T$ be a mapping.

If $f$ has an inverse mapping, then that inverse mapping is unique.

That is, if:
 * $f$ and $g$ are inverse mappings of each other

and
 * $f$ and $h$ are inverse mappings of each other

then $g = h$.