Izan bitez tartean jarraitua den funtzio bat eta haren edozein jatorrizko funtzio bat, hau da . Orduan:

Frogapena aldatu

Izan bedi

.

Kalkuluaren oinarrizko teorema dela medio, hau daukagu:

.

Beraz:

non den.

Hau aintzat hartuta:

Eta hortik segitzen denez da; beraz:

.

Bereziki, baldin bada, hau dugu:

Ikus, gainera aldatu

Kanpo estekak aldatu