So we just proved the derivative for any positive integer, x to the power n, where n is any positive integer. And we see later it actually works for all, actually, real numbers in the exponent. So I will see you in a future video. Oh, and another thing I wanted to point out is, I said that we had to know the binomial theorem. But if you think about it, we really didn't even have to know the binomial theorem. Because we knew in any binomial expansion, I mean, you'd have to know a little bit. But if you did a little experimentation, you would realize that whenever you expand a plus b to the nth power, the first term is going to be a to the n. And then the second term is going to be plus n a to the n minus 1 b.