Differenzierbare Abbildung/Lokal differenzierbar umkehrbar/Bijektives Differential/Aufgabe

Seien und offene Mengen in euklidischen Vektorräumen und . Es sei

eine bijektive Abbildung, die in einem Punkt differenzierbar sei derart, dass die Umkehrabbildung in auch differenzierbar ist. Zeige, dass das totale Differential

bijektiv ist.