This what I learned in 1.3 Inverse of a function