Nathan has shown that a function, f(x), increases by 7 for every unit in the domain. What does this prove?