be careful! might be non-invertible. first note that if then from the definition of we have and the claim is clearly true in this case.

so we'll assume that let and we know that: now consider two cases:

Case 1: in this case and hence cannot be invertible, because so:

Case 2: we have: which gives us: