So this is all going to be equal to c times f of x. So once again, you can see that the equality clearly holds. So hopefully this makes you feel good that those properties are true. But the more important thing is that you know when to use it. So for example, if I were to take the integral of, let's say, x squared plus cosine of x, the indefinite integral of that, we now know, and it's going to be useful in the future, say, well, this is the same thing as the integral of x squared dx plus the integral of cosine of x dx. So this is the same thing as that plus that. And then you can separately evaluate them.