The computation is based essentially on the application of upper and lower integral sums, and the proof is done by the method of exhaustion: there, for the first time, the segment of integration is divided into unequal parts.
Ang kuwenta ay batay sa mahalagang ang mga aplikasyon ng itaas at mas mababang mahalaga sums, at ang katibayan ay nagagawa sa pamamagitan ng mga paraan ng pagkaubos: doon, sa unang pagkakataon, ang mga segment ng integration ay nahahati sa hindi patas na bahagi.