Es seien f {\displaystyle {}f} und g {\displaystyle {}g} in a {\displaystyle {}a} differenzierbar. Dann ist das Produkt f ⋅ g {\displaystyle {}f\cdot g} differenzierbar in a {\displaystyle {}a} mit