Thus . We have two comments here:

- The mapping is not an inverse mapping for .
- This does not mean that is not invertible! Perhaps there exists another mapping for which the conditions hold. Actually, there is none, but we still did not prove it!

Now we must check whether the mapping verifies the second condition:

Thus . we proved that is invertible and that .