And the second part of the video, we showed that the other way is true, That if-- let me put it this way, that if for all Y, a member of capital Y, there is a unique solution to f of x is equal to x, then f is invertible.