Dowód
Dla funkcji F będącej funkcją górnej granicy całkowania wzór jest prawdziwy
ponieważ
Każda inna funkcja pierwotna G ma postać
Zatem różnica
co dowodzi prawdziwości wzoru dla dowolnej funkcji pierwotnej.