Proof: Invertibility implies a unique solution to f(x)=y