Inverse Mapping is Unique/Proof 2

Proof
We need to show that:
 * $\forall t \in T: \map g t = \map h t$

So: