Proof: Invertibility implies a unique solution to f(x)=y for all y in co-domain of f.
License: CC BY-NC-SA by Khan Academy