Si une fonction f inversible est dérivable et de dérivée non nulle, la fonction inverse f⁻¹ est dérivable et l'on a : […]. — اگر تابعی f وارونپذیر مشتقپذیر باشد و مشتق آن صفر نباشد، تابع وارون f⁻¹ مشتقپذیر است و داریم: […].
Primitiver une fonction f(x) revient à chercher la fonction F(x) [à une constante près] dont la dérivée est f(x) : c'est l'opération inverse de la dérivation. — انتگرالگیری از تابع f(x) به معنای یافتن تابع F(x) [با صرفنظر از ثابت] است که مشتق آن f(x) باشد: این عمل معکوس مشتقگیری است.