Αν οι συναρτήσεις $f, g$ είναι παραγωγίσιμες στο $x_0$, τότε η συνάρτηση $f \cdot g$ είναι παραγωγίσιμη στο $x_0$ και ισχύει: $(f \cdot g)'(x_0) = f'(x_0) \, g'(x_0)$