Totale Differenzierbarkeit/K/Produktregel/Fakt/Beweis/Aufgabe

Seien und endlichdimensionale -Vektorräume, eine offene Mengen, ein Punkt, und in differenzierbare Abbildungen. Zeige, dass dann die Produktabbildung

in differenzierbar ist mit