First, one shows that the second definition is equivalent to the definition of the Darboux integral; for this see the article on Darboux integration.
Najprv sa však musí ukázať, že druhá definícia je ekvivalentná s definíciou Darbouxovho integrálu; dôkaz je uvedený v článku o Darbouxovom integráli.