$f,g : \mathbb R\to \mathbb R$ fonksiyonlar ve $a$ bir gerçel sayı olsun. $f$ ve $g$ fonksiyonları $a$ noktasında türevlenebilirse $f\cdot g$ fonksiyonu da $a$ noktasında türevlenebilir ve $$(f\cdot g)^\prime(a)=f^\prime (a)\cdot g(a)+f(a)\cdot g^\prime(a)$$ eşitliği sağlanır.