But we don't know that yet. All we know right now is that this is the area under the curve F between a and x. So between a and let's say this right over here, this right over here is x. So f of x is just this area right over here. That's all we know about it. We don't know it has anything to do with antiderivatives just yet. That's what we're going to try to prove in this video.