(vychází z jednoznačnosti limity v BI-MA1)
Nechť je primitivní funkcí k funkci na intervalu .
Pak je primitivní funkcí k funkci na intervalu právě tehdy, když existuje konstanta taková, že žé
Tedy buď funkce primitivní funkci nemá (neexistuje žádná), nebo jich je nekonečně mnoho a všechny jsou od sebe jen posunuté, liší se o konstantu (protože při posunutí konstantou se se sklonem nic neděje, derivace konstanty je 0)
#dukaz
Pokud jsou funkci primitivní k na intervalu , potom
š
Funkce je proto konstantní(protože má nulovou derivaci) na intervalu .